diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-08-28 15:18:59 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-08-28 15:18:59 +0000 |
commit | bc1787402c76dccc0767199ed04a1ec9730a0a38 (patch) | |
tree | 9282f9203e236906efe05a153c8e327f934dcd01 /doc | |
parent | 287e4358c1322eda62c3c5fa2e86c0ad8a18628b (diff) |
Fix description of manual now broken into two
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ProofGeneral.texi | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index e28a6a1f..3527fc1e 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -794,16 +794,16 @@ everything! Here are some useful commands: @node Organization of this manual @section Organization of this manual -About half of this manual covers the user-level view and customization -of Proof General. The other half considers adapting Proof General to -new proof assistants, and documents some of the internals of Proof -General. - -Three final appendices contain some details about obtaining and -installing Proof General, some known bugs, and some future plans. The -contents of these final chapters is also covered in the files -@file{INSTALL}, @file{BUGS}, and @file{TODO}, contained in the -distribution. +This manual covers the user-level view and customization of Proof +General. The accompanying @i{Adapting Proof General} manual considers +adapting Proof General to new proof assistants, and documents some of +the internals of Proof General. + +Three appendices of this manual contain some details about obtaining and +installing Proof General and some known bugs. The contents of these +final chapters is also covered in the files @file{INSTALL} and +@file{BUGS} contained in the distribution. Refer to those files +for the latest information. The manual concludes with some references and indexes. See the table of contents for full details. |