From d64ccc099dd32fe9dc2d5df2c5bb8a004e0ff10c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 11 May 2000 14:32:18 +0000
Subject: Tidied page a bit

---
 html/devel.phtml | 15 ++++++---------
 1 file changed, 6 insertions(+), 9 deletions(-)

(limited to 'html')

diff --git a/html/devel.phtml b/html/devel.phtml
index 10d26716..4eda7321 100644
--- a/html/devel.phtml
+++ b/html/devel.phtml
@@ -21,9 +21,12 @@ for a summary of changes since the last stable version.
 </ul>
 <ul>
 <li>
-Browse a mirror of the <a href="http://zermelo.dcs.ed.ac.uk/cgi-bin/cvsweb.cgi">Proof General CVS repository</a>.  <i>Note:</i> this mirror is
-updated nightly, so it may not be up-to-date with the latest
-versions.
+Browse a mirror of the <a href="http://zermelo.dcs.ed.ac.uk/cgi-bin/cvsweb.cgi">Proof General CVS repository</a>.  <br>
+<i>Note:</i> this mirror is updated nightly, so it may not be 
+exactly up-to-date with the latest versions.<br>
+If you'd like to be an official developer and
+want full access to the real CVS repository, 
+<a href="feedback.phtml">ask here</a>.
 </li>
 </ul>
 <ul>
@@ -103,9 +106,3 @@ with the words "<tt>subscribe proofgeneral-devel</tt>"
 (or "<tt>unsubscribe proofgeneral-devel"</tt>) in the message body.
 </p>
 
-<p>
-If you are interested in becoming an official developer of Proof
-General, we can make our CVS repository accessible to you.  Please 
-<a href="feedback.phtml">ask here</a>.
-</p>
-
-- 
cgit v1.2.3