diff options
Diffstat (limited to 'html/develdownload.phtml')
-rw-r--r-- | html/develdownload.phtml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/html/develdownload.phtml b/html/develdownload.phtml index 1f61a4ef..48267c0c 100644 --- a/html/develdownload.phtml +++ b/html/develdownload.phtml @@ -42,8 +42,9 @@ the planned changes to come. <!-- End Warning. --> </ul> - -<h2><a name="devel">Complete Archive of ProofGeneral-3.1pre000217</a></h2> +<!-- WARNING! Line below automatically edited by makefile. --> +<h2><a name="devel">Complete Archive of ProofGeneral-3.1pre000217 for Developers</a></h2> +<!-- End Warning. --> <p> This archive is a snapshot from our CVS repository. @@ -56,7 +57,7 @@ This archive is a snapshot from our CVS repository. </li> </ul> <p> -What's the difference from the working version above? +What's the difference from the user's pre-release above? The complete archive also includes: </p> <ul> |