diff options
| author | David Aspinall | 2000-03-22 11:31:23 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-22 11:31:23 +0000 |
| commit | e46d05d707cfa35bbf798ee6fcba44b4385d06f3 (patch) | |
| tree | 8d5dae4a8d4c24779731c480bde1c6b65dc76389 | |
| parent | f2ef580eb0a5228388dbcedad5aa98082cccebab (diff) | |
Suggest links on same page.
| -rw-r--r-- | html/develdownload.phtml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/html/develdownload.phtml b/html/develdownload.phtml index 9e1bfa44..c093cccd 100644 --- a/html/develdownload.phtml +++ b/html/develdownload.phtml @@ -4,10 +4,10 @@ ?> <p> -<a href="#prerel">Here</a> is the latest pre-release of Proof General, +<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</a>. +<a href="#devel">complete CVS snapshot (below)</a>. </p> <p> Pre-releases of Proof General may be buggy as we add new features and |