From 7b3aa6cde341acaca195134d676c38f1f3fb9a24 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Mon, 23 Apr 2007 07:28:17 +0000
Subject: Added things in CHANGES.

---
 coq/CHANGES | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'coq')

diff --git a/coq/CHANGES b/coq/CHANGES
index d5e8ab68..bf2b9a2a 100644
--- a/coq/CHANGES
+++ b/coq/CHANGES
@@ -1,5 +1,9 @@
 -*- outline -*-
 
-* Summary of Changes for coq / Proof General 3.6
+* Summary of Changes since pg 3.6
 
-moved to ../CHANGES
\ No newline at end of file
+** Adapted error highlighting to x-symbol
+
+** Response windows shrinking to fit in three window mode
+
+** Outline mode cleaner
-- 
cgit v1.2.3