From 99d21e5c443ddbd1e773f1ef4baf2e9a6fe7b78c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 6 Sep 2009 14:02:15 +0000
Subject: Remove use-specials-for-fontify

---
 CHANGES | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index 53458b4a..fc7e6c34 100644
--- a/CHANGES
+++ b/CHANGES
@@ -36,10 +36,11 @@
     proof-toolbar-use-button-enablers  (now always used)
     proof-output-fontify-enable        (now always enabled)
 
-*** Altered prover configuration settings
+*** Altered prover configuration settings (internal)
     pg-insert-output-as-comment-fn: removed
     proof-shell-wakeup-char: removed
     proof-shell-prompt-pattern: removed
+    pg-use-specials-for-fontify: removed
     proof-shell-strip-output-markup: required for cut-and-paste
     proof-electric-terminator-noterminator: allows non-insert of terminator
 
-- 
cgit v1.2.3