From 476fab96701a3c53790e7c4d4989d0ffce0746db Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 22 Feb 1999 13:24:19 +0000
Subject: Updated.

---
 CHANGES | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/CHANGES b/CHANGES
index b5402cd2..27e76c37 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,7 +1,7 @@
-Summary of Changes since Proof General 2.0
-------------------------------------------
+Summary of Changes for Proof General 2.1
+----------------------------------------
 
-* Documentation improvements
+* Documentation improvements.   Text added for Coq mode.
 
 * Support for x-symbol package to beautify 
   input and output with special fonts.
@@ -17,3 +17,5 @@ Summary of Changes since Proof General 2.0
   proof-case-fold-search configuration variable to
   allow for proof script languages with case-insensitive 
   syntax.
+
+* Other minor bug fixes.
-- 
cgit v1.2.3