From 486594dd64cf97eae08297e8464ce75b81446ff3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 24 Mar 2000 10:07:57 +0000
Subject: Notes about upcoming 3.1.1 changes

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

(limited to 'etc')

diff --git a/etc/release-log.txt b/etc/release-log.txt
index 15219d2b..419ad704 100644
--- a/etc/release-log.txt
+++ b/etc/release-log.txt
@@ -1,3 +1,7 @@
+24.03.00  3.1.1 Release 3-1-1
+	  Added more fixes for Isabelle and Windows.
+	  Markus's Isar syntax patches.
+
 
 23.03.00  3.1	Release 3-1
 	  First version of 3.1 release
-- 
cgit v1.2.3