From e9ac9e8eb3d2567ff1ab12cf7bfdd60d5df2c30f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 1 May 2000 18:18:30 +0000
Subject: Added proof-assistant-menu-entries for proof assistant specific
 menus.

---
 CHANGES | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index 3fe6ee99..30804ae9 100644
--- a/CHANGES
+++ b/CHANGES
@@ -14,6 +14,10 @@
 
 ** Generic Changes
 
+*** Added proof assistant specific menu facility.  
+
+  Specific menus added for Coq, Isabelle.
+
 *** Improved behaviour of electric terminator
 
 *** Efficiency improvement in parsing
@@ -32,7 +36,9 @@
 
 ** LEGO Changes
 
-*** Slight change in output during proof: show final discharge messages
+*** Slight change in output during proof: shows final discharge messages
+
+ This is a side effect of code rationalization in PG elsewhere.
 
 ** Isabelle Changes
 
-- 
cgit v1.2.3