diff options
| -rw-r--r-- | html/news.phtml | 9 |
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! |