diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-05-25 14:50:22 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-25 14:50:22 +0000 |
commit | 731b71082f18b32965f9779801011621eefcb8a3 (patch) | |
tree | 5e4805f566271b7a4d03984d46601dd8e9d8e854 /html | |
parent | 781f10c58bf9cff32f84a0de36711a45fde919c0 (diff) |
Note about 3.1.6
Diffstat (limited to 'html')
-rw-r--r-- | html/news.phtml | 6 |
1 files changed, 6 insertions, 0 deletions
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 |