diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-03-09 07:57:57 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-09 07:57:57 +0000 |
| commit | dd2bff4067d5ad78cbac7b455362a755e8a84add (patch) | |
| tree | 76bc86f57554f6c3e8004e0c4939e48aec318320 /CHANGES | |
| parent | 9ae40ab19a1aa2a94f0def7e74a652ebb82417a9 (diff) | |
Updated
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 32 |
1 files changed, 19 insertions, 13 deletions
@@ -3,8 +3,25 @@ * Summary of Changes for Proof General 3.1 from 3.0 +** New instantiations of Proof General! + +*** HOL 98 (http://www.cl.cam.ac.uk/Research/HVG/HOL/HOL.html) + + by David Aspinall. This is a bare-bones Proof General instance + only, hopefully to entice HOL users so that someone may improve it. + See README in the hol98 directory for more details. + +*** Plastic (http://www.dur.ac.uk/CARG/plastic.html) + + by Paul Callaghan <P.C.Callaghan@durham.ac.uk>. + The Plastic system itself is not yet publicly available, + so this is only included in the developers tar file. + + ** Generic Changes +*** README file added for each supported prover, explaining support. + *** Fixes for supporting Japan versions of Emacs which have older CL macs. CL macs with Japanicised documentation, defined in "egg.el". @@ -49,22 +66,11 @@ *** Minor syntax tweaks. +** Changes for developers to note -** New instantiations of Proof General for: - -*** Plastic (http://www.dur.ac.uk/CARG/plastic.html) - - by Paul Callaghan <P.C.Callaghan@durham.ac.uk>. - The Plastic system itself is not yet publicly available. - -*** HOL 98 (http://www.cl.cam.ac.uk/Research/HVG/HOL/HOL.html) - - by David Aspinall. This is a bare-bones Proof General instance - only, hopefully to entice HOL users so that someone may improve it. - See README in the hol98 directory for more details. +*** todo file added for each prover, split from global todo file -** Changes for developers to note |