diff options
| author | David Aspinall | 1999-03-08 14:29:48 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-03-08 14:29:48 +0000 |
| commit | b15f69a7365bf45c1b26ac0f987622a4bebc59e0 (patch) | |
| tree | 1594a13efac4204728cdfe3d958e15a45c2d341f /doc | |
| parent | f4e442370d8422f97bce41c542c93ad9c41d2fec (diff) | |
Idea for proof-auto-retract, notes about proof-strict-read-only
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ProofGeneral.texi | 1 |
1 files changed, 1 insertions, 0 deletions
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 |