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 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. |