Formatting
parent
9ee4bbdff5
commit
f8ff1e2f64
8
README
8
README
|
@ -1,5 +1,13 @@
|
|||
This is GF-Complete, Revision 1.02. January 1, 2014.
|
||||
|
||||
Authors: James S. Plank (University of Tennessee)
|
||||
Ethan L. Miller (UC Santa Cruz)
|
||||
Kevin M. Greenan (Box)
|
||||
Benjamin A. Arnold (University of Tennessee)
|
||||
John A. Burnum (University of Tennessee)
|
||||
Adam W. Disney (University of Tennessee,
|
||||
Allen C. McBride (University of Tennessee)
|
||||
|
||||
The user's manual is in the file Manual.pdf. You may also get a copy of that
|
||||
manual at http://www.cs.utk.edu/~plank/plank/papers/GF-Complete-Manual-1.02.pdf.
|
||||
|
||||
|
|
12
README.txt
12
README.txt
|
@ -1,5 +1,13 @@
|
|||
This is GF-Complete, Revision 1.02. January 1, 2014.
|
||||
|
||||
Authors: James S. Plank (University of Tennessee)
|
||||
Ethan L. Miller (UC Santa Cruz)
|
||||
Kevin M. Greenan (Box)
|
||||
Benjamin A. Arnold (University of Tennessee)
|
||||
John A. Burnum (University of Tennessee)
|
||||
Adam W. Disney (University of Tennessee,
|
||||
Allen C. McBride (University of Tennessee)
|
||||
|
||||
The user's manual is in the file Manual.pdf. You may also get a copy of that
|
||||
manual at http://www.cs.utk.edu/~plank/plank/papers/GF-Complete-Manual-1.02.pdf.
|
||||
|
||||
|
@ -7,8 +15,8 @@ The online home for GF-Complete is:
|
|||
|
||||
- https://bitbucket.org/jimplank/gf-complete
|
||||
|
||||
If you want to cite GF-Complete in a paper, I suggest citing the
|
||||
technical report version. The precise citation information for that
|
||||
If you want to cite GF-Complete in a paper, I suggest citing the
|
||||
technical report version. The precise citation information for that
|
||||
is in http://www.cs.utk.edu/~plank/plank/papers/CS-13-716.html.
|
||||
|
||||
To compile, do:
|
||||
|
|
Loading…
Reference in New Issue