From edaf959bb80e721cd651fb23e55caccb7b04837d Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 2 Oct 2000 19:44:49 +0000 Subject: Removed link to CHANGES, its buggy --- etc/announce | 1 - 1 file changed, 1 deletion(-) diff --git a/etc/announce b/etc/announce index f349c9a1..f43f9ec2 100644 --- a/etc/announce +++ b/etc/announce @@ -64,7 +64,6 @@ Summary of changes since 3.1: . Efficiency improvements . Several bug fixes . Internal improvements: more flexible parsing and easier configuration -. For details, see http://www.proofgeneral.org/ProofGeneral-3.2/CHANGES The user manual contains full details, and is available on-line at: http://www.proofgeneral.org/index.html?page=doc -- cgit v1.2.3