From 123583aee2f5b28027fc7993ee838c9c20c31edc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Aug 2002 12:09:40 +0000
Subject: Updated.

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

(limited to 'etc')

diff --git a/etc/release-log.txt b/etc/release-log.txt
index 52c4f451..95a69a48 100644
--- a/etc/release-log.txt
+++ b/etc/release-log.txt
@@ -1,5 +1,8 @@
 29.08.02  3.4 Release 3-4 based on branch 7.0
-	  (repeated: fix RPM info files; Isabelle binary search; RedHat desktop)
+	  
+          3.4 Release 3-4-0 
+           Fix RPM info files; Isabelle binary search; RedHat desktop; CHANGES; 
+	   Remove isabelle images from splash-screen.
 
 --------------------
 
-- 
cgit v1.2.3