diff options
| author | Makarius Wenzel | 2008-01-24 10:17:29 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2008-01-24 10:17:29 +0000 |
| commit | 67047d6c338090f32f371e965a1d12f71f22a391 (patch) | |
| tree | 17dd9e84cab43f9fe9f08d8839e856b8c054d41f | |
| parent | 0bc859b8a0599d0107f6b60a3cbed66bf8ff5849 (diff) | |
fixed spelling;
| -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. |