From 0ca1ca25ef08d7f7c3e02a6770d48d73ed4ee91f Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 8 Mar 2000 09:08:32 +0000 Subject: Updated, added outline. --- CHANGES | 40 +++++++++++++++++++--------------------- 1 file changed, 19 insertions(+), 21 deletions(-) diff --git a/CHANGES b/CHANGES index 5d5fc3c8..f0e9e39b 100644 --- a/CHANGES +++ b/CHANGES @@ -1,59 +1,57 @@ +-*- outline -*- + Summary of Changes for Proof General 3.1 from 3.0 ================================================= -Generic Changes ---------------- +** Generic Changes -Fixes for supporting Japan versions of Emacs which have older CL macs +* Fixes for supporting Japan versions of Emacs which have older CL macs with Japanicised documentation. (Japan users, please report any other problems you find, they may be fixable for similar reasons). -Minor bug fix for duplicated short output. +* Minor bug fix for duplicated short output. (set proof-shell-eager-annotation-start-length appropriately) -Bug fix with .thy files and X-Symbol mode: subsequently visited +* Bug fix with .thy files and X-Symbol mode: subsequently visited theory files would have X-Symbols broken. -Bug fix for (non-mule) FSF Emacs 20.5. (Emacs would freeze when +* Bug fix for (non-mule) FSF Emacs 20.5. (Emacs would freeze when starting proof assistant due to character matching problem). -Fix for infamous Solaris ^G problem, by setting +* Fix for infamous Solaris ^G problem, by setting process-connection-type=nil to force piped communication instead of ptys. (This may have other side effects so please report any you suspect). -Coq Changes ------------ +** Coq Changes + +** LEGO Changes -LEGO Changes ------------- +* Fix for error messages, now properly displays "cannot assume" message. -Isabelle Changes ----------------- +** Isabelle Changes -Isar Changes ------------- +** Isar Changes -Minor syntax tweaks. +* Minor syntax tweaks. +** Only in the developers' release -Only in the developers' release -------------------------------- * Provisional instantiation of Proof General for Plastic (http://www.dur.ac.uk/CARG/plastic.html) by Paul Callaghan . -Internal changes for developers to note ---------------------------------------- +** Changes for developers to note + +* Added README.devel and todo files for individual provers. -No changes. -- cgit v1.2.3