From 183360533e50ca5bd85273fc4cbc750c26a2e102 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 10 Sep 2001 12:46:56 +0000 Subject: Update release dates --- html/news.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'html/news.html') diff --git a/html/news.html b/html/news.html index 1f593e34..b96962bc 100644 --- a/html/news.html +++ b/html/news.html @@ -1,7 +1,7 @@
Proof General 3.3 is released, with to -- cgit v1.2.3