This is GF-Complete, Revision 1.0.
The user's manual is in the file Manual.pdf.
There are two online homes for GF-Complete:
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.