From e3acc5a216a2270164d94bf0df3dce787d69def2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Aug 2002 14:20:00 +0000
Subject: Updated.

---
 doc/ProofGeneral.texi | 2 +-
 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
 
 
diff --git a/etc/README b/etc/README
index ef036736..62c7c417 100644
--- a/etc/README
+++ b/etc/README
@@ -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
-- 
cgit v1.2.3