From 0bbfff154ea5466a1f2d148990a44bdda4304e1e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 17 Apr 2004 23:04:43 +0000
Subject: Updated.

---
 etc/release-log.txt | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'etc')

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).
 
-- 
cgit v1.2.3