From 731b71082f18b32965f9779801011621eefcb8a3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 25 May 2000 14:50:22 +0000
Subject: Note about 3.1.6

---
 html/news.phtml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'html')

diff --git a/html/news.phtml b/html/news.phtml
index 6e64cc59..133793a6 100644
--- a/html/news.phtml
+++ b/html/news.phtml
@@ -6,6 +6,12 @@
 </p>
 
 <ul>
+<li><b>25th May 2000</b>
+Minor patch 3.1.6 released today.  This turns off toolbar enablers if
+you're running XEmacs on Solaris; because of strange Solaris problems,
+buttons are disabled too often there.  (You can easily live without
+this patch by customizing the variable
+<tt>proof-toolbar-use-button-enablers</tt>).
 <li><b>9th May 2000</b>
 <p>
 New! For developers, a web-browsable
-- 
cgit v1.2.3