diff options
| -rw-r--r-- | doc/ProofGeneral.texi | 2 | ||||
| -rw-r--r-- | etc/README | 8 |
2 files changed, 3 insertions, 7 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index a3b1695f..dafebb1c 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -1997,7 +1997,7 @@ suggestions for improvements are welcomed). By default, experimental features are turned on in development releases and turned off in stable releases. -The default value is @code{t}. +The default value is @code{nil}. @end defopt @@ -1,6 +1,8 @@ Files in the PG/etc directory (NB: some only in devel distrib) =============================================================== +README this file + ProofGeneral.spec For building the Proof General RPM. Use "rpm -tb" to build from tarball. @@ -18,12 +20,6 @@ isar Isar PG demoisa Isabelle Demo PG -README this file - -example test protocol for example proof scripts - -notes.txt Misc notes - bug-notes.txt Test cases for Emacs or PG bugs cvs-tips.txt Notes on cvs with PG project debugging-tips.txt Notes on debugging |