From b15f69a7365bf45c1b26ac0f987622a4bebc59e0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 8 Mar 1999 14:29:48 +0000
Subject: Idea for proof-auto-retract, notes about proof-strict-read-only

---
 doc/ProofGeneral.texi | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 8bec23e2..15bab2f4 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -1649,6 +1649,7 @@ you a reprimand!)
 The default value is @code{strict}.
 @end defopt
 
+@c TEXI DOCSTRING MAGIC: proof-strict-read-only
 
 @c TEXI DOCSTRING MAGIC: proof-script-indent
 @defopt proof-script-indent 
-- 
cgit v1.2.3