From 46583d91c439d8577fd890dce987dd2dc6e1de2a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 29 Nov 1999 18:13:13 +0000
Subject: Updated

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

diff --git a/etc/release-log.txt b/etc/release-log.txt
index 231eae7e..77637f47 100644
--- a/etc/release-log.txt
+++ b/etc/release-log.txt
@@ -1,4 +1,8 @@
 
+29.11.99  Release_3_0_2
+	  Added some more key-bindings and menu entries to
+	  Isabelle's theory file mode.
+
 26.11.99  Release 3_0
 	  First attempt at 3.0 release
 
@@ -6,10 +10,6 @@
 	  Fixed problem with proof-shell-proof-completed-regexp
 	  in Isabelle.
 
-	  Release_3_0_2
-	  Added some more key-bindings and menu entries to
-	  Isabelle's theory file mode.
-
 
 --------------------
 
-- 
cgit v1.2.3