aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--CHANGES2
1 files changed, 1 insertions, 1 deletions
diff --git a/CHANGES b/CHANGES
index 5e0c921a..052d0e64 100644
--- a/CHANGES
+++ b/CHANGES
@@ -14,7 +14,7 @@ Summary of Changes for Proof General 2.1
Patches for Isabelle provided by David von Oheimb.
(currently incomplete)
-* Bug fix for Isabelle theory file mode.
+* Bug fix for templates in Isabelle theory file mode.
* Bug fix for long-lines with funny characters causing
^G's in Solaris.