Remove use-specials-for-fontify

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