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