From 58c7624ce077161b1b2479f4046f13cff7bf0f94 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 28 Nov 2002 12:54:10 +0000 Subject: Updated. --- CHANGES | 22 +++++++++++++++++++++- 1 file changed, 21 insertions(+), 1 deletion(-) (limited to 'CHANGES') diff --git a/CHANGES b/CHANGES index efa3eba6..2148159d 100644 --- a/CHANGES +++ b/CHANGES @@ -15,6 +15,11 @@ ** Generic changes +*** Options and proof assistant settings improvements + +Facility to reset to default values added, and saving +of (just) proof assistant settings. + *** Display management: added shrink-windows-tofit option Attempt to shrink output windows to fit their contents in @@ -25,9 +30,24 @@ case it is less than 1/2 the window height. In progress. Please report any problems/annoyances which may be unexpected. NB: Not yet enabled for Isabelle/Isar. - *** Tweaks to menus, colours Electric terminator menu option more visible. Reduce contrast for mouse highlighting of regions. +*** Support formatted input which contains newlines [for Coq] + +A patch from Stefan Monnier, to allow Coq input to have newlines +remaining, so that input formatting is not broken. A much better way +to address this would be to alter the Coq output routines so that they +do not print multiple identical prompts for continued lines. +[this is in testing: please notify me of problems in other provers] + + +** Changes for Isabelle + +Beginnings of support PGIP protocol (work in progress with Isabelle +CVS version). Presently allows Isabelle to configure Proof General. + +CURRENTLY SUPPORT FOR CURRENTLY RELEASED ISABELLE VERSIONS IS BROKEN + -- cgit v1.2.3