1 files changed, 19 insertions, 2 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el
index e5f4a24d..22cdb9ad 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -801,6 +801,14 @@ as well as `proof-comment-end'."
   :type 'string
   :group 'proof-script)
 
+(defcustom proof-comment-start-regexp nil
+  "Regexp which matches a comment start in the proof command language.
+
+The default value for this is set as (regexp-quote proof-comment-start)
+but you can set this variable to something else more precise if necessary."
+  :type 'string
+  :group 'proof-script)
+
 (defcustom proof-comment-end ""
   "String which ends a comment in the proof assistant command language.
 The script buffer's comment-end is set to this string plus a space.
@@ -810,6 +818,14 @@ You should set this variable for reliable working of Proof General,"
   :type 'string
   :group 'proof-script)
 
+(defcustom proof-comment-end-regexp nil
+  "Regexp which matches a comment end in the proof command language.
+
+The default value for this is set as (regexp-quote proof-comment-end)
+but you can set this variable to something else more precise if necessary."
+  :type 'string
+  :group 'proof-script)
+
 (defcustom proof-string-start-regexp "\""
   "Matches the start of a quoted string in the proof assistant command language."
   :type 'string
@@ -822,8 +838,9 @@ You should set this variable for reliable working of Proof General,"
 
 (defcustom proof-case-fold-search nil
   "Value for case-fold-search when recognizing portions of proof scripts.
-The default value is 'nil'.  If your prover has a case *insensitive*
-input syntax, proof-case-fold-search should be set to 't' instead.  
+Also used for completion, via `proof-script-complete'.
+The default value is `nil'.  If your prover has a case *insensitive*
+input syntax, proof-case-fold-search should be set to `t' instead.  
 NB: This setting is not used for matching output from the prover."  
   :type 'boolean :group
   'proof-script)