diff options
| author | David Aspinall | 2000-05-01 16:20:18 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-01 16:20:18 +0000 |
| commit | e3b0ad751924c57db4ec8e72759edd2070757097 (patch) | |
| tree | 63126c995673eeeb54d065fbd85491617d080b82 /html | |
| parent | e50f13511bcfaa6c664c6995da5c5b652193cd7b (diff) | |
Trivial
Diffstat (limited to 'html')
| -rw-r--r-- | html/develdownload.phtml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/develdownload.phtml b/html/develdownload.phtml index 7ff9df78..64b9f9d9 100644 --- a/html/develdownload.phtml +++ b/html/develdownload.phtml @@ -7,7 +7,7 @@ <a href="#prerel">Below</a> is the latest pre-release of Proof General, made available for those who wish to test the latest features or bug fixes. For developers, this release is also available as a -<a href="#devel">complete CVS snapshot (below)</a>. +<a href="#devel">complete CVS snapshot (further below)</a>. </p> <p> Pre-releases of Proof General may be buggy as we add new features and |