From 207fad4cdad17e6b12152d6c9bcdca466d7d0b46 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 7 Apr 1999 14:28:27 +0000
Subject: Merged changes sent by Patrick Loiseleur.

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

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index 052d0e64..22d1c9b9 100644
--- a/CHANGES
+++ b/CHANGES
@@ -2,7 +2,7 @@ Summary of Changes for Proof General 2.1
 ----------------------------------------
 
 * Documentation improvements.   
-  Text added for Coq mode.
+  Information added for Coq mode.
 
 * In proof-site.el, the environment variable PROOFGENERAL_ASSISTANTS 
   is examined for the default value of proof-assistants.  This
@@ -14,6 +14,9 @@ Summary of Changes for Proof General 2.1
   Patches for Isabelle provided by David von Oheimb.
   (currently incomplete)
 
+* Improvements to Coq mode: better recognition of
+  Coq syntax, support for proof-shell-restart-cmd.
+
 * Bug fix for templates in Isabelle theory file mode.
 
 * Bug fix for long-lines with funny characters causing
-- 
cgit v1.2.3