From 59671e6efc4992445fe8ce4e05f70470828b3d64 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 6 Oct 1999 10:44:39 +0000
Subject: proof-try-command is deprecated

---
 CHANGES | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index b3ae194b..a3772345 100644
--- a/CHANGES
+++ b/CHANGES
@@ -24,6 +24,10 @@ Generic Changes
 * Menus and keybindings have been reorganized.  
   Now keybindings invoke the same functions as the toolbar.
 
+* Command C-c C-t (proof-try-command) removed in favour of C-c C-v
+  (proof-execute-minibuffer-cmd), which now possibly uses the
+  filter proof-state-preserving-p to check that a command is safe.
+
 * Terminal string now automatically added to command for C-c C-v 
 
 * Cleaned up example files so all demonstrate same theorem "conj_comms".
-- 
cgit v1.2.3