diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-08 14:20:37 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-08 14:20:37 +0000 |
| commit | f6fcaa9b61b3fee39a78ba2e553853eaa75678ac (patch) | |
| tree | a87d84d287ff67873e37db10a8f71b2d463fe3a2 | |
| parent | 5489d9a36cbf60fb0de105f85c2f1b7529b17f63 (diff) | |
Note about release 3.0.
| -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! |