From 2eab72c33751768c8a6cde36b978ea4a36b91843 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <Pierre.Courtieu@cnam.fr>
Date: Mon, 6 Nov 2017 13:28:55 +0100
Subject: Prettier cheat face (background + box).

---
 CHANGES | 1 +
 1 file changed, 1 insertion(+)

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index 5b35e3d0..567b79a2 100644
--- a/CHANGES
+++ b/CHANGES
@@ -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
-- 
cgit v1.2.3