diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2015-02-03 18:03:48 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2015-02-03 18:03:48 +0000 |
commit | c19b4a336325571fc6748b4d110b43ec1045eef3 (patch) | |
tree | 5699a2f758331068792f2727e0046d1dd361bac9 /CHANGES | |
parent | caf5634f5ea3426588ad9df0b6ffdb751cbf4610 (diff) |
coloring names in resposne and goals
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -101,6 +101,11 @@ the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac. *** Support for prettify-symbols-mode. +*** Colors in response and goals buffers + + Experimental: colorize hypothesis names and some parts of error + and warning messages. For readability. + * Changes of Proof General 4.2 from Proof General 4.1 ** Generic/misc changes |