diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-29 18:13:13 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-29 18:13:13 +0000 |
| commit | 46583d91c439d8577fd890dce987dd2dc6e1de2a (patch) | |
| tree | 3c9a6a0fa61a0c1eace638a7078f33f521f7723a /etc | |
| parent | fee12c9e21547ff7ea68f520981eab7cae9ac062 (diff) | |
Updated
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/release-log.txt | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/etc/release-log.txt b/etc/release-log.txt index 231eae7e..77637f47 100644 --- a/etc/release-log.txt +++ b/etc/release-log.txt @@ -1,4 +1,8 @@ +29.11.99 Release_3_0_2 + Added some more key-bindings and menu entries to + Isabelle's theory file mode. + 26.11.99 Release 3_0 First attempt at 3.0 release @@ -6,10 +10,6 @@ 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. - -------------------- |