From c4883ea8facf060eb1a9488bd3441b46f4e6e647 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 23 Mar 2000 13:34:48 +0000 Subject: 3.1 available now --- html/news.phtml | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'html') 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 @@
+Proof General 3.1 is now available from the +. Enjoy! +
+Release candidate for Proof General 3.1 available. -- cgit v1.2.3