blob: 9cecd132b0abf8b97e0d28c36b147492c8df0e56 (
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
|
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)
|