From 15b0d1eee2925387c75cd2da80b3e9f4d921c4bb Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 15 Jan 1999 15:04:21 +0000
Subject: Updated.

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

diff --git a/CHANGES b/CHANGES
index 7418a95a..1ddfc95e 100644
--- a/CHANGES
+++ b/CHANGES
@@ -7,3 +7,5 @@ Summary of Changes since Proof General 2.0
   input and output with special fonts.
   Patches for Isabelle provided by David von Oheimb.
   (incomplete)
+
+* Bug fix for Isabelle theory file mode.
-- 
cgit v1.2.3