diff options
| -rw-r--r-- | isa/README | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -4,4 +4,4 @@ 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. +version of Emacs...). Apologies for the inconvenience. |