diff options
-rw-r--r-- | html/news.phtml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/html/news.phtml b/html/news.phtml index ddce725e..223235fe 100644 --- a/html/news.phtml +++ b/html/news.phtml @@ -6,6 +6,12 @@ </p> <ul> +<li><b>15th November 1999</b><br> +<p> +Proof General 3.0 is currently in testing, and will be released later +this week. In the meantime, please send feedback on +current pre-releases! +</p> <li><b>9th November 1999</b><br> <p> Isabelle 99 was released last week, and Proof General 3.0 should |