diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-07-18 16:10:08 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-18 16:10:08 +0000 |
| commit | 52a613540d56706a5466488e7e79e405beaa4d3f (patch) | |
| tree | c488bbe4836ab46bee7dbd2200d0f8c0538f37d4 /html/develdownload.php | |
| parent | 5d103209fad354e288f03eb728263ef7150ed680 (diff) | |
Triv
Diffstat (limited to 'html/develdownload.php')
| -rw-r--r-- | html/develdownload.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/html/develdownload.php b/html/develdownload.php index f885861f..11996dea 100644 --- a/html/develdownload.php +++ b/html/develdownload.php @@ -9,7 +9,8 @@ <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 (further below)</a>. +<a href="#devel">complete CVS snapshot</a> (further below), which +includes files not needed for the running program. </p> <p> Pre-releases of Proof General may be buggy as we add new features and |