diff options
| author | David Aspinall | 1999-11-29 13:20:41 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-29 13:20:41 +0000 |
| commit | 3f2867ff3ba7f10dc22b4dbee0471685035a3f92 (patch) | |
| tree | f92c756690bfb4a16d89355c7e1efc629b0a0ccf | |
| parent | 4561860fbd1c04e85ebd9dee1c6fba4344c2f30f (diff) | |
Updated.
| -rw-r--r-- | etc/release-log.txt | 25 |
1 files changed, 20 insertions, 5 deletions
diff --git a/etc/release-log.txt b/etc/release-log.txt index 1f8647bc..231eae7e 100644 --- a/etc/release-log.txt +++ b/etc/release-log.txt @@ -1,10 +1,25 @@ -23.8.99 Release_2_1_1 - First release of Proof General version 2.1. - Missing Isar and with broken version stamp (2.1pre990820) -24.8.99 Release_2_1_2 - Office release Proof General 2.1 +26.11.99 Release 3_0 + First attempt at 3.0 release + + Release_3_0_1 + Fixed problem with proof-shell-proof-completed-regexp + in Isabelle. + + Release_3_0_2 + Added some more key-bindings and menu entries to + Isabelle's theory file mode. + + +-------------------- + 25.8.99 Release_2_1_3 Fixed RPM package to include isar/ +24.8.99 Release_2_1_2 + Official release Proof General 2.1 + +23.8.99 Release_2_1_1 + First release of Proof General version 2.1. + Missing Isar and with broken version stamp (2.1pre990820) |