blob: 8c9c3986dfa807638bb43d5a3352ae6f5cf58149 (
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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
9.9.01 3.3 Release 3-3 based on branch 6.0
(repeated 10.9.01 to fix doc build)
--------------------
02.10.00 3.2 Release 3-2 based on branch 5.0
--------------------
25.05.00 3.1.6 Release 3-1-6, from Release-3-1-branch
Button enablers are not used by default on XEmacs/Solaris.
When button enablers disabled, don't use itimer or after-change hook.
9.05.00 3.1.5 Release 3-1-5, from Release-3-1-branch
Improved proof-find-theorems-command for Isabelle
(allow multiple constants separated by commas).
28.04.00 3.1.4 Release 3-1-4, from Release-3-1-branch
Applied patch sent by Mike Squire, fix accident in previous fix.
(Isabelle theory retraction file paths)
04.04.00 3.1.3 Release 3-1-3
Fixed two problems with Isabelle theory loader interface
(first introduced accidently in 3.1, second a bug/issue in Isabelle)
Markus's continuing Isar syntax patches.
Updated some copyright notices.
24.03.00 3.1.2 Release 3-1-2
Small improvement to HOL support.
24.03.00 3.1.1 Release 3-1-1
Added more fixes for Isabelle and Windows.
Fixes for Windows, using proper colours, etc.
Markus's Isar syntax patches.
23.03.00 3.1 Release 3-1
First version of 3.1 release
--------------------
30.11.99 3.0.3 Release-3-0-3
Full version now in version stamp.
29.11.99 3.0.2 Release-3-0-2
Added some more key-bindings and menu entries to
Isabelle's theory file mode.
26.11.99 3.0 Release 3-0
First attempt at 3.0 release
3.0.1 Release-3-0-1
Fixed problem with proof-shell-proof-completed-regexp
in Isabelle.
--------------------
25.8.99 2.1.3 Release-2-1-3
Fixed RPM package to include isar/
24.8.99 2.1.2 Release-2-1-2
Official release Proof General 2.1
23.8.99 2.1.1 Release-2-1-1
First release of Proof General version 2.1.
Missing Isar and with broken version stamp (2.1pre990820)
|