diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-17 23:04:43 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-17 23:04:43 +0000 |
| commit | 0bbfff154ea5466a1f2d148990a44bdda4304e1e (patch) | |
| tree | 22b069849d0abdf7f9ba98782d3ece875eab8286 /etc | |
| parent | 8803c00f840caa3bdd7e312f65021653d3c51151 (diff) | |
Updated.
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/release-log.txt | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/etc/release-log.txt b/etc/release-log.txt index 41d455e9..4486bcc0 100644 --- a/etc/release-log.txt +++ b/etc/release-log.txt @@ -7,9 +7,11 @@ -------------------- -9.9.01 3.3 Release 3-3 based on branch 6.0 +09.09.01 3.3 Release 3-3 based on branch 6.0 (repeated 10.9.01 to fix doc build) +-------------------- + 02.10.00 3.2 Release 3-2 based on branch 5.0 -------------------- @@ -18,7 +20,7 @@ Button enablers are not used by default on XEmacs/Solaris. When button enablers disabled, don't use itimer or after-change hook. -9.05.00 3.1.5 Release 3-1-5, from Release-3-1-branch +09.05.00 3.1.5 Release 3-1-5, from Release-3-1-branch Improved proof-find-theorems-command for Isabelle (allow multiple constants separated by commas). |