From 68b82cd171404f0b5ecd5fc699d0931d5a03345c Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <Pierre.Courtieu@cnam.fr>
Date: Fri, 22 Jul 2016 18:34:09 +0200
Subject: Adding the option to highlight susual symbols.

This may look ugly to the majority, so I let it off by default.
I find it helpfull to have structuring symbols bold.
---
 CHANGES | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index a1119369..77d25277 100644
--- a/CHANGES
+++ b/CHANGES
@@ -142,8 +142,9 @@ the GIT ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac.
 *** Removed the Set Undo 500 at start.
     This is obsolete. To recover: (setq coq-user-init-cmd `("Set Undo 500."))
 
-
-
+*** Option to highlight usual symbols
+    Off by default, enable using:
+    (setq coq-symbol-highlight-enable t)
 
 **** Minibuffer interactive queries
 
-- 
cgit v1.2.3