From e0d7928749d0896be595d8d81dfe97cb75043123 Mon Sep 17 00:00:00 2001
From: Kevin Greenan <kmgreen2@gmail.com>
Date: Wed, 4 Dec 2013 21:27:29 -0800
Subject: [PATCH] Copy README.txt to README

---
 README | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/README b/README
index e69de29..503af3c 100644
--- a/README
+++ b/README
@@ -0,0 +1,13 @@
+This is GF-Complete, Revision 1.01.  
+
+The user's manual is in the file Manual.pdf.  
+
+There are two online homes for GF-Complete:
+
+  - https://bitbucket.org/jimplank/gf-complete
+  - http://www.cs.utk.edu/~plank/plank/papers/CS-13-716.html
+
+When compiling this for the first time, cd to flag_tester, and
+do "sh which_compile_flags.sh xxx", where xxx is the compiler
+that you will use in the GNUMakefile.
+