News about x-symbol

1 files changed, 8 insertions, 1 deletions

diff --git a/html/news.phtml b/html/news.phtml
index 47bf7cb8..846b7be3 100644
--- a/html/news.phtml
+++ b/html/news.phtml
@@ -4,7 +4,7 @@
 </p>
 
 <ul>
-<li><b>8th November 1999</b><br>
+<li><b>9th November 1999</b><br>
 <p>
 Isabelle 99 was released last week, and Proof General 3.0 should
 be ready for release in the next week or so.  In
@@ -12,6 +12,13 @@ the meantime, please use the current
 <a href="download.phtml#prerel">pre-release</a>
 for Isabelle 99.
 </p>
+<p>
+Some recent changes have been made to the support for
+<a href="http://www.fmi.uni-passau.de/~wedler/x-symbol/">X-symbol</a>,
+so that it is easier to turn on and off, and support is now
+properly generic.  At the moment only Isabelle has 
+support implemented.
+</p>
 <li><b>21st October 1999</b><br>
  <p>
  See what Proof General 3.0 will look like!