diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-03-23 13:34:48 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-23 13:34:48 +0000 |
commit | c4883ea8facf060eb1a9488bd3441b46f4e6e647 (patch) | |
tree | a8746a8d59ca200dbba545e3044f2fd2fa5201e3 | |
parent | 3a6eb1901f71098d6f9b8e0ba1f3d54cda608e69 (diff) |
3.1 available now
-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 579c424c..3e02577d 100644 --- a/html/news.phtml +++ b/html/news.phtml @@ -6,6 +6,12 @@ </p> <ul> +<li><b>23rd March 2000</b> +<p> +Proof General 3.1 is now available from the +<?php link_root("download","download page") ?>. Enjoy! +</p> +</li> <li><b>14th March 2000</b> <p> Release candidate for Proof General 3.1 available. |