diff options
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-config.el | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 675615f3..277295a6 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -1351,20 +1351,11 @@ data triggered by `proof-shell-retract-files-regexp'." :type '(choice function (const nil)) :group 'proof-shell) -(defcustom pg-use-specials-for-fontify nil - "Flag indicating whether to strip annotations from output or not; -\"annotations\" consist of special characters according to -`pg-special-char-regexp'. If annotations are left in, they are made -invisible and can be used to do syntax highlighting with font-lock." - :type 'boolean - :group 'proof-shell) - (defcustom pg-special-char-regexp "[\200-\377]" "Regexp matching any \"special\" character sequence." :type 'string :group 'proof-shell) - (defcustom proof-shell-set-elisp-variable-regexp nil "Matches output telling Proof General to set some variable. This allows the proof assistant to configure Proof General directly |