diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-03-08 09:08:32 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-08 09:08:32 +0000 |
commit | 0ca1ca25ef08d7f7c3e02a6770d48d73ed4ee91f (patch) | |
tree | 358a5ab9d73391663fd4ba8ea22a589c22b8b3a1 /CHANGES | |
parent | 325dcaf8c93c6ee4d2c7e7cdb616bab2f45f49f4 (diff) |
Updated, added outline.
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 40 |
1 files changed, 19 insertions, 21 deletions
@@ -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 <P.C.Callaghan@durham.ac.uk>. -Internal changes for developers to note ---------------------------------------- +** Changes for developers to note + +* Added README.devel and todo files for individual provers. -No changes. |