diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-05-25 14:50:54 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-25 14:50:54 +0000 |
| commit | 1a71c9dffbee7ade3d144eea281788e1375b573f (patch) | |
| tree | 1efae1e8bcc8f1db4e7745c4585b1cda6604c358 /html | |
| parent | 731b71082f18b32965f9779801011621eefcb8a3 (diff) | |
Fix para spacing
Diffstat (limited to 'html')
| -rw-r--r-- | html/news.phtml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/html/news.phtml b/html/news.phtml index 133793a6..fe34f828 100644 --- a/html/news.phtml +++ b/html/news.phtml @@ -7,11 +7,13 @@ <ul> <li><b>25th May 2000</b> +<p> 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>). +</p> <li><b>9th May 2000</b> <p> New! For developers, a web-browsable |