diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-30 17:19:25 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-30 17:19:25 +0000 |
| commit | a14f160efe20fbb32e1ce7b98f9db524156cbbf9 (patch) | |
| tree | 2769deb7ffa3c1be086f45f6332b74d365b3742c /etc | |
| parent | 90db2bd2e48a002f88ead931fe7aefaf4bc8aa60 (diff) | |
Updated
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/release-log.txt | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/etc/release-log.txt b/etc/release-log.txt index 77637f47..20574eab 100644 --- a/etc/release-log.txt +++ b/etc/release-log.txt @@ -1,12 +1,14 @@ +30.11.99 3.0.3 Release_3_0_3 + Full version now in version stamp. -29.11.99 Release_3_0_2 +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 Release 3_0 +26.11.99 3.0 Release 3_0 First attempt at 3.0 release - Release_3_0_1 + 3.0.1 Release_3_0_1 Fixed problem with proof-shell-proof-completed-regexp in Isabelle. @@ -14,12 +16,12 @@ -------------------- -25.8.99 Release_2_1_3 +25.8.99 2.1.3 Release_2_1_3 Fixed RPM package to include isar/ -24.8.99 Release_2_1_2 +24.8.99 2.1.2 Release_2_1_2 Official release Proof General 2.1 -23.8.99 Release_2_1_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) |