From 877539c65efc5856695f21f77daddcf32625d08b Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 23 Aug 1999 19:29:17 +0000 Subject: Updated. --- CHANGES | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/CHANGES b/CHANGES index 20017bb9..d3a5f1d3 100644 --- a/CHANGES +++ b/CHANGES @@ -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. -- cgit v1.2.3