Commit 9311b4fc107da2f2e9a2624520cfe2ffd216af53

Authored by KMG
1 parent 6bb1ebb9
Exists in master and in 3 other branches v2, v3, wip-18092

Removed PDF from the repo and added a note in the README that describes how to

get the manual.
Showing 2 changed files with 4 additions and 2 deletions   Show diff stats
Manual.pdf
No preview for this file type
README
... ... @@ -8,8 +8,10 @@ Authors: James S. Plank (University of Tennessee)
8 8 Adam W. Disney (University of Tennessee,
9 9 Allen C. McBride (University of Tennessee)
10 10  
11   -The user's manual is in the file Manual.pdf. You may also get a copy of that
12   -manual at http://www.cs.utk.edu/~plank/plank/papers/GF-Complete-Manual-1.02.pdf.
  11 +The programmer's manual and tutorial is provided in two places:
  12 +
  13 +1.) A copy is hosted on BitBucket at https://bitbucket.org/jimplank/gf-complete/downloads/GF-Complete-Manual.pdf
  14 +2.) A copy is also available at http://www.cs.utk.edu/~plank/plank/papers/GF-Complete-Manual-1.02.pdf
13 15  
14 16 The online home for GF-Complete is:
15 17  
... ...