From 6a3c8d9bd0db3a4db6a01a0f587f309da568a943 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 Jan 2008 13:07:11 +0000
Subject: Many compatibility updates, bug fixes, rearrangements for
 compilation.

---
 isa/README | 1 +
 1 file changed, 1 insertion(+)

(limited to 'isa')

diff --git a/isa/README b/isa/README
index 4266b5e2..2be47ea5 100644
--- a/isa/README
+++ b/isa/README
@@ -1,4 +1,5 @@
 Support for Isabelle/classic has been removed from Proof General.
+
 The default and only supported interface is now Isabelle/Isar.
 
 If you need to use an older version of Isabelle, you will have
-- 
cgit v1.2.3