From 07559fb1fa3cad5e3fdd2fd5b14313e7ad455c9b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 5 Dec 2006 12:51:40 +0000
Subject: New files.

---
 isa/README | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 isa/README

diff --git a/isa/README b/isa/README
new file mode 100644
index 00000000..4266b5e2
--- /dev/null
+++ b/isa/README
@@ -0,0 +1,6 @@
+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
+to use an older version of Proof General (and so perhaps an older
+version of Emacs...).  Apologies for the incovnenience.
-- 
cgit v1.2.3