1 files changed, 4 insertions, 1 deletions
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