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. +