From e80b0bb50b45b89c520754271096964047481209 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 28 Apr 2000 17:51:34 +0000
Subject: Added note about 3.1.4 patch, merged from 3.1 branch

---
 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 b59f0423..66d5d2f6 100644
--- a/etc/release-log.txt
+++ b/etc/release-log.txt
@@ -1,3 +1,7 @@
+28.04.00  3.1.4 Release 3-1-4, from Release-3-1-branch
+          Applied patch sent by Mike Squire, fix accident in previous fix.
+          (Isabelle theory retraction file paths)
+
 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)
-- 
cgit v1.2.3