diff options
| author | Kevin Greenan <kmgreen2@gmail.com> | 2013-12-04 21:27:29 -0800 |
|---|---|---|
| committer | Kevin Greenan <kmgreen2@gmail.com> | 2013-12-04 21:27:29 -0800 |
| commit | e0d7928749d0896be595d8d81dfe97cb75043123 (patch) | |
| tree | 17e2750cb07333b337dfe6235fd526ecd83587b5 | |
| parent | 153dd20988bf9e91f10f8c5564f2c4d6a2fc50cd (diff) | |
| download | gf-complete-e0d7928749d0896be595d8d81dfe97cb75043123.tar.gz | |
Copy README.txt to README
| -rw-r--r-- | README | 13 |
1 files changed, 13 insertions, 0 deletions
@@ -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. + |