diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-10-02 19:44:49 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-10-02 19:44:49 +0000 |
| commit | edaf959bb80e721cd651fb23e55caccb7b04837d (patch) | |
| tree | 0bd7d4309f6e7fa6061f8f068591f6b2e73a693a /etc | |
| parent | c3b61759b6c5fc046d1fbff69ff552d073c162aa (diff) | |
Removed link to CHANGES, its buggy
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/announce | 1 |
1 files changed, 0 insertions, 1 deletions
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 |