summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Manual.pdfbin500473 -> 501334 bytes
-rw-r--r--README10
-rw-r--r--README.txt11
3 files changed, 12 insertions, 9 deletions
diff --git a/Manual.pdf b/Manual.pdf
index 59b2a86..59968bb 100644
--- a/Manual.pdf
+++ b/Manual.pdf
Binary files differ
diff --git a/README b/README
index a697eb0..f934a64 100644
--- a/README
+++ b/README
@@ -1,16 +1,18 @@
This is GF-Complete, Revision 1.02. January 1, 2014.
-The user's manual is in the file Manual.pdf.
+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.
The online home for GF-Complete is:
- https://bitbucket.org/jimplank/gf-complete
-The technical report version in http://www.cs.utk.edu/~plank/plank/papers/CS-13-716.html
-is good for citing, but you will want to grab the most up to date version and documentation
-on the bitbucket site.
+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:
./configure
make
+ sudo make install
diff --git a/README.txt b/README.txt
index a697eb0..58020cc 100644
--- a/README.txt
+++ b/README.txt
@@ -1,16 +1,17 @@
This is GF-Complete, Revision 1.02. January 1, 2014.
-The user's manual is in the file Manual.pdf.
+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.
The online home for GF-Complete is:
- https://bitbucket.org/jimplank/gf-complete
-
-The technical report version in http://www.cs.utk.edu/~plank/plank/papers/CS-13-716.html
-is good for citing, but you will want to grab the most up to date version and documentation
-on the bitbucket site.
+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:
./configure
make
+ sudo make install