diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-11-06 13:28:55 +0100 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-11-06 13:31:05 +0100 |
commit | 2eab72c33751768c8a6cde36b978ea4a36b91843 (patch) | |
tree | d2a37c9ba86d0b3cad5001de456cbcef7b6dfdfb /CHANGES | |
parent | 70b69ad2875248359489299d71672db811369647 (diff) |
Prettier cheat face (background + box).
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -13,6 +13,7 @@ and the PG Trac http://proofgeneral.inf.ed.ac.uk/trac *** bug fixes - Using query-replace (or replace-string) in the processed region doesn't wrongly jump to the first match anymore. + - cheat face (admit etc) now visible when locked. *** remove key-binding for proof-electric-terminator-toggle - The default key-binding for proof-electric-terminator-toggle |