blob: 4266b5e2e32b2acc16a0b6957038871df9d880a8 (
plain)
1
2
3
4
5
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.
|
