From 89ad8a38c773818f0198e6d08cdad120a85c8861 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 14 Jul 2002 11:58:31 +0000
Subject: Improve layout

---
 html/devel.html | 24 +++++++++++-------------
 1 file changed, 11 insertions(+), 13 deletions(-)

(limited to 'html')

diff --git a/html/devel.html b/html/devel.html
index 825ce08e..f7d2ea55 100644
--- a/html/devel.html
+++ b/html/devel.html
@@ -2,7 +2,7 @@
 <p>
 Proof General follows an open development method.  
 <br>
-We welcome code contributions, suggestions, and bug reports, from all
+We encourage code contributions, suggestions, and bug reports, from all
 users.
 </p>
 
@@ -23,29 +23,27 @@ for a summary of changes since the last stable version.
 </li>
 </ul>
 
-<ul>
-<li>
-Read about ideas for the <a href="kit">Proof General Kit</a>
-here.
-</li>
-</ul>
-
 <ul>
 <li>
 Browse a mirror of the <a href="http://www.proofgeneral.org/cgi-bin/cvsweb.cgi">Proof General CVS repository</a>.  <br>
 <i>Note:</i> this mirror is updated nightly, so it may be 
 slightly out of date.<br>
-</li>
-<li>
 If you want to be an "official" developer and
 access the real CVS repository, 
 <a href="feedback.html">ask here</a>.
 </li>
 </ul>
+
+<ul>
+<li>
+Read about ideas for the <a href="kit">Proof General Kit</a>
+here.
+</li>
+</ul>
+
 <ul>
 <li>
-Get involved!
-Take a look at the Proof General <a href="projects.html">project proposals</a>.
+Take a look at some Proof General <a href="projects.html">project proposals</a>.
 </li>
 </ul>
 
@@ -100,7 +98,7 @@ for the
 
 <ul>
 <li>
-<?php hlink("feedback.html","Send us a message ","Feedback form")?>
+<?php hlink("feedback","Send us a message ","Feedback form")?>
 about any development issues.
 </li>
 </ul>
-- 
cgit v1.2.3