blob: 42e74a448cef846d797bc6ef1982ac16735d9dda (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
-*- outline -*-
* Summary of Changes for Proof General 3.2 from 3.1
** New instantiations of Proof General!
*** Plastic (http://www.dur.ac.uk/CARG/plastic.html) (ongoing work)
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
*** Improved behaviour of electric terminator
*** Added possibility for switching prover's output on/off.
** Coq Changes
** LEGO Changes
** Isabelle Changes
*** Fix for stack overflow in regexp which occurred with large proof states
** Isar Changes
** Changes for developers to note
*** No need for match string 1 in proof-shell-proof-completed
|