From a40ad63aed5c14aa53684133cd3e26ecfa64028a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 1 Feb 1999 13:00:40 +0000
Subject: Added proof-case-fold-search

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

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 4071275f..dc8a54ac 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -2274,6 +2274,12 @@ The script buffer's @code{comment-start} is set to this string plus a space.
 String which ends a comment in the proof assistant command language.@*
 The script buffer's @code{comment-end} is set to this string plus a space.
 @end defvar
+@c TEXI DOCSTRING MAGIC: proof-case-fold-search
+@defvar proof-case-fold-search 
+Value for @code{case-fold-search} when recognizing portions of proof scripts.@*
+If your prover has a case-insensitive syntax, this should be set
+to @code{'t'}.
+@end defvar
 @c TEXI DOCSTRING MAGIC: proof-save-command-regexp
 @defvar proof-save-command-regexp 
 Matches a save command
-- 
cgit v1.2.3