From 726a345c1d6c551c24615d3d5153a6a014c615af Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Mon, 5 Apr 2004 15:46:26 +0000
Subject: updated CHANGES for Coq

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

diff --git a/CHANGES b/CHANGES
index f89352b1..637270aa 100644
--- a/CHANGES
+++ b/CHANGES
@@ -197,6 +197,8 @@ APIs), then you may have to upgrade your Isabelle version as well.
 
 ** Changes for Coq
 
+*** Indentation
+
 *** Menu entries for commands, tactics and terms
 
 *** "Holes" system, for editing structured expressions
@@ -216,3 +218,4 @@ word is sub/superscripted. to put spaces inside sub/superscripts, use
 _{...} or ^{...}. Notice that this syntax is not understood by Coq
 and you will need to defined it with the "Notation" command of Coq.
 
+
-- 
cgit v1.2.3