diff options
| author | David Aspinall | 2002-08-29 14:20:00 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-29 14:20:00 +0000 |
| commit | e3acc5a216a2270164d94bf0df3dce787d69def2 (patch) | |
| tree | 6e06fe264739af8ad944bc4c2063c2b853ac846b | |
| parent | 88093c5e6aaefa62994e783a840717cd11856f99 (diff) | |
Updated.
| -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 |