1 files changed, 2 insertions, 0 deletions
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.