Improve layout

1 files changed, 11 insertions, 13 deletions

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>
 
@@ -25,27 +25,25 @@ for a summary of changes since the last stable version.
 
 <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>