From f8a66d8293682f3a74f3f16d325d57cdfdf991e7 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 24 Aug 1999 19:27:02 +0000 Subject: Altered release date for 2.1. --- html/download.phtml | 4 ++-- html/news.phtml | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) (limited to 'html') diff --git a/html/download.phtml b/html/download.phtml index 939b691b..a24d7a44 100644 --- a/html/download.phtml +++ b/html/download.phtml @@ -33,7 +33,7 @@ you may wish to check the
This version of Proof General has been tested diff --git a/html/news.phtml b/html/news.phtml index c160daaf..10ae5050 100644 --- a/html/news.phtml +++ b/html/news.phtml @@ -1,5 +1,5 @@
Proof General version 2.1 is released.
--
cgit v1.2.3