diff options
| -rw-r--r-- | CHANGES | 14 |
1 files changed, 9 insertions, 5 deletions
@@ -1,9 +1,9 @@ Summary of Changes for Proof General 2.1 ---------------------------------------- -* Supports Coq 6.3 +* Supports Coq 6.3. -* Supports Isabelle 99. No guarantees for Isabelle 98. +* Supports Isabelle 99. Will not work with Isabelle 98. * Two new provisional instantiations of Proof General, for: ** Isabelle/Isar (new proof language for Isabelle) by @@ -18,10 +18,14 @@ Summary of Changes for Proof General 2.1 is examined for the default value of proof-assistants. No editing of proof-site.el should be needed now. -* Support for x-symbol package to beautify - input and output with special fonts. +* Support for x-symbol package to beautify input and output with + special fonts. Patches for Isabelle provided by David von Oheimb. - (currently incomplete) + (work in progress) + +* Improvements to Isabelle mode: multiple file handling now + more robust and handled by Isabelle primitives. + Support added by Markus Wenzel. * Improvements to Coq mode: better recognition of Coq syntax, support for proof-shell-restart-cmd. |