From 176c2ea7966af858cd501b88762fbed378f00698 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 15 Apr 2004 13:31:36 +0000
Subject: Updated.

---
 CHANGES | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index a48209f5..84f77586 100644
--- a/CHANGES
+++ b/CHANGES
@@ -204,7 +204,7 @@ APIs), then you may have to upgrade your Isabelle version as well.
 
 ** Changes for Coq
 
-*** Indentation
+*** Indentation improved
 
 *** Menu entries for commands, tactics and terms
 
-- 
cgit v1.2.3