From e3b0ad751924c57db4ec8e72759edd2070757097 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 1 May 2000 16:20:18 +0000 Subject: Trivial --- html/develdownload.phtml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'html') 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 @@ 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 (below). +complete CVS snapshot (further below).
Pre-releases of Proof General may be buggy as we add new features and -- cgit v1.2.3