diff options
| author | David Aspinall | 2000-08-28 12:32:59 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-08-28 12:32:59 +0000 |
| commit | 1d677e46e12f4e243b89478f84b47bfdf96b3c14 (patch) | |
| tree | 92e1f73b423ee08f6c53aa6353608e8a7e59916d /doc/README.doc | |
| parent | 598ca314b28517b61323ed8c662cacbd2c678084 (diff) | |
Split manual into two parts.
Added notes about find theorems trick of separating constants by comma
for Isabelle. Made for version 99-1.
Improved documentation for urgent messages, including recent
additions. Mentioned new high-level macros proof-defshortcut,
proof-definvisible.
Diffstat (limited to 'doc/README.doc')
| -rw-r--r-- | doc/README.doc | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/README.doc b/doc/README.doc index 94800146..b96c85bf 100644 --- a/doc/README.doc +++ b/doc/README.doc @@ -10,13 +10,13 @@ your convenience. Otherwise you will need to run make html according to what format you'd like. Everything is generated -from the master Texinfo file ProofGeneral.texi, so you'll -need the proper tools for conversion. Check the Makefile +from the master Texinfo files ProofGeneral.texi and PG-adapting.texi, +so you'll need the proper tools for conversion. Check Makefile.doc for details. Front Image for Manual ---------------------- -If you want a front image on the printed dvi/gs manual, you need to +If you want a front image on the printed dvi/gs manuals, you need to have the ProofGeneral.eps file in this directory. You can download a compressed version from @@ -35,4 +35,4 @@ Running "made dvi" will adjust the Texinfo file to make the front page blank if there is no ProofGeneral.eps file available. David Aspinall. -August 1999. +August 2000. |