diff options
| -rw-r--r-- | generic/proof-config.el | 21 |
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) |