diff options
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. - -------------------- |