From 1192811c480e56bf60a4d0894e2a807c7d904137 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 8 Mar 1999 14:29:56 +0000
Subject: Clarification on isa-thy fix.

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

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.
-- 
cgit v1.2.3