diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/news.phtml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/html/news.phtml b/html/news.phtml index 9daad9a3..47bf7cb8 100644 --- a/html/news.phtml +++ b/html/news.phtml @@ -4,6 +4,14 @@ </p> <ul> +<li><b>8th 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 +the meantime, please use the current +<a href="download.phtml#prerel">pre-release</a> +for Isabelle 99. +</p> <li><b>21st October 1999</b><br> <p> See what Proof General 3.0 will look like! |