From 685b1ffd8a3af07f2f3f426f82358b6504ecdc7a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 24 Mar 2000 20:16:49 +0000
Subject: About 3.1.2

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

diff --git a/etc/release-log.txt b/etc/release-log.txt
index 9cecd132..744b378b 100644
--- a/etc/release-log.txt
+++ b/etc/release-log.txt
@@ -1,3 +1,6 @@
+24.03.00  3.1.2 Release 3-1-2
+	  Small improvement to HOL support.
+
 24.03.00  3.1.1 Release 3-1-1
 	  Added more fixes for Isabelle and Windows.
 	  Fixes for Windows, using proper colours, etc.
-- 
cgit v1.2.3