diff options
| author | David Aspinall | 2000-04-04 13:24:45 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-04-04 13:24:45 +0000 |
| commit | c20d3044a2b287aaee7bedbbcb9aa5884e7ce895 (patch) | |
| tree | ce33309254109ffad30316457b1ce597a794c8c3 | |
| parent | 84807c20846c98db4f1dfd28f7f7ad66ed87cd1c (diff) | |
Note about 3.1.3 release
| -rw-r--r-- | etc/release-log.txt | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/etc/release-log.txt b/etc/release-log.txt index 744b378b..b59f0423 100644 --- a/etc/release-log.txt +++ b/etc/release-log.txt @@ -1,3 +1,9 @@ +04.04.00 3.1.3 Release 3-1-3 + Fixed two problems with Isabelle theory loader interface + (first introduced accidently in 3.1, second a bug/issue in Isabelle) + Markus's continuing Isar syntax patches. + Updated some copyright notices. + 24.03.00 3.1.2 Release 3-1-2 Small improvement to HOL support. @@ -6,7 +12,6 @@ Fixes for Windows, using proper colours, etc. Markus's Isar syntax patches. - 23.03.00 3.1 Release 3-1 First version of 3.1 release |