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