From 7c2410ffaaa41b163c8c3bf6d958fbc3d0806371 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 9 Nov 1999 18:56:33 +0000
Subject: News about x-symbol

---
 html/news.phtml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'html')

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!
-- 
cgit v1.2.3