diff options
author | 2000-02-24 02:55:13 +0000 | |
---|---|---|
committer | 2000-02-24 02:55:13 +0000 | |
commit | 58a9e77e9ca38cd0bd25a573b5a70bc7a94703fc (patch) | |
tree | 19d2b6890ab65ae75fbf96a2329b12907edea780 /html/develdownload.phtml | |
parent | b8aad7d31109babb09af61e2fba229ca2b15ce82 (diff) |
Fix title
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> |