From 58a9e77e9ca38cd0bd25a573b5a70bc7a94703fc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 24 Feb 2000 02:55:13 +0000
Subject: Fix title

---
 html/develdownload.phtml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'html')

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>
-- 
cgit v1.2.3