From c20d3044a2b287aaee7bedbbcb9aa5884e7ce895 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 4 Apr 2000 13:24:45 +0000
Subject: Note about 3.1.3 release

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

diff --git a/etc/release-log.txt b/etc/release-log.txt
index 744b378b..b59f0423 100644
--- a/etc/release-log.txt
+++ b/etc/release-log.txt
@@ -1,3 +1,9 @@
+04.04.00  3.1.3 Release 3-1-3
+	  Fixed two problems with Isabelle theory loader interface 
+          (first introduced accidently in 3.1, second a bug/issue in Isabelle)
+	  Markus's continuing Isar syntax patches.
+	  Updated some copyright notices.
+
 24.03.00  3.1.2 Release 3-1-2
 	  Small improvement to HOL support.
 
@@ -6,7 +12,6 @@
 	  Fixes for Windows, using proper colours, etc.
 	  Markus's Isar syntax patches.
 
-
 23.03.00  3.1	Release 3-1
 	  First version of 3.1 release
 
-- 
cgit v1.2.3