diff options
| -rw-r--r-- | isa/README | 6 |
1 files changed, 6 insertions, 0 deletions
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. |