diff options
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 |