diff options
| author | David Aspinall | 2004-08-25 21:07:13 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-08-25 21:07:13 +0000 |
| commit | b42e57ad1bef6f4f2863c9e2dab53bddfc4586a7 (patch) | |
| tree | 8c375f9598e37de9dc60a75650f25e11fdb0cc83 /etc | |
| parent | 882e453a0921295e95201a57ed55517ad66e9342 (diff) | |
Update for forthcoming 3.6
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/release-log.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/etc/release-log.txt b/etc/release-log.txt index 60a27a41..cebdbfae 100644 --- a/etc/release-log.txt +++ b/etc/release-log.txt @@ -1,8 +1,8 @@ -XX.04.04 3.5.1 Release forthcoming for improved Coq 8.0 support +XX.09.04 3.6 Release 3-6 based on branch 9.0 -------------------- -18.04.04 3.5 Release 3-4 based on branch 8.0 +18.04.04 3.5 Release 3-5 based on branch 8.0 (repeated: 18.04.04 fixes to display handling 21.04.04 modify CHANGES; Coq menu) |