Copy README.txt to README

2013-12-04 21:27:29 -08:00 · 2013-12-04 21:27:29 -08:00 · e0d7928749
parent 153dd20988
commit e0d7928749
1 changed files with 13 additions and 0 deletions
--- a/13
+++ b/13
@ -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.
+