From ca1ae6bbac5eb42c555238794e23e0ef31b07d9a Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 1 Jul 2002 00:46:54 +0000 Subject: Syntax error --- html/news.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'html') diff --git a/html/news.html b/html/news.html index 15e7d574..cbc1ecaf 100644 --- a/html/news.html +++ b/html/news.html @@ -4,7 +4,7 @@
  • 1st July 2002

    Good news! The license conditions for Proof General will shortly be -changed to the GPL. This relaxes the current conditions in several ways, in particular, allowing packaging and distribution of the code by others.

    -- cgit v1.2.3