aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2004-04-15 13:31:36 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2004-04-15 13:31:36 +0000
commit176c2ea7966af858cd501b88762fbed378f00698 (patch)
treeb852e52dba7a284bbd946a038a43b5c309341a11 /CHANGES
parentbbcbe5715e478667e30dcbe9a1c8dbada7fd8cf7 (diff)
Updated.
Diffstat (limited to 'CHANGES')
-rw-r--r--CHANGES2
1 files changed, 1 insertions, 1 deletions
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