From b496b332c1b10215faa9e522a831ef0856fdbec3 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 31 Jan 2008 12:03:04 +0000
Subject: Added	Assia's contribution to ssreflect mode for coq in CHANGES.

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

diff --git a/CHANGES b/CHANGES
index a9929566..686757a7 100644
--- a/CHANGES
+++ b/CHANGES
@@ -72,6 +72,9 @@ isar-find-theorems-form or isar-find-theorems-minibuffer.
 
 *** No more support for coq 7.x
 
+*** Support for ssreflect proof mode
+Support added by Assia Mahboubi.
+
 *** coq 8.0 compatibility mode
 
 If coq does not detect the good coq version at startup put one of
-- 
cgit v1.2.3