diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-08-23 19:29:17 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-08-23 19:29:17 +0000 |
commit | 877539c65efc5856695f21f77daddcf32625d08b (patch) | |
tree | 641776aa4cc8bd32bb6571d45be1714057a9fdb6 | |
parent | aace1c631be427c1a96baf758170c2aa6c6fe627 (diff) |
Updated.
-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. |