From e46d05d707cfa35bbf798ee6fcba44b4385d06f3 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 22 Mar 2000 11:31:23 +0000 Subject: Suggest links on same page. --- html/develdownload.phtml | 4 ++-- 1 file 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 @@ ?>
-Here is the latest pre-release of Proof General, +Below 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 -complete CVS snapshot. +complete CVS snapshot (below).
Pre-releases of Proof General may be buggy as we add new features and -- cgit v1.2.3