From a461d12f9e1be501f8bf6e9490f71160ca2e325e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 3 Sep 2001 21:44:11 +0000
Subject: Change colour of locked region.

---
 generic/proof-config.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index f8b58633..b581890a 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -425,7 +425,7 @@ The protocol used should be configured so that no user interaction
 
 (defface proof-locked-face
   (proof-face-specs
-   (:background "lightsteelblue2")	; was "lavender"
+   (:background "lightcyan")	; was "lavender", then "lightsteelblue"
    (:background "navy")
    (:underline t))
   "*Face for locked region of proof script (processed commands)."
@@ -935,8 +935,8 @@ NB: This setting is not used for matching output from the prover."
 The name of the theorem is build from the variable
 proof-save-with-hole-result using the same convention as 
 query-replace-regexp. 
-Used for setting names of goal..save regions and for default
-function-menu configuration in proof-script-find-next-entity.
+Used for setting names of goal..save and proof regions and for 
+default function-menu configuration in proof-script-find-next-entity.
 
 It's safe to leave this setting as nil."
   :type 'regexp
-- 
cgit v1.2.3