diff options
| author | David Aspinall | 2002-07-14 11:58:31 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-14 11:58:31 +0000 |
| commit | 89ad8a38c773818f0198e6d08cdad120a85c8861 (patch) | |
| tree | 551f6cfc12bcbc0a4aeb77ebf91553f96769d294 | |
| parent | 543f2ce20ce6bb3dca632ac49fb49b86aa764bea (diff) | |
Improve layout
| -rw-r--r-- | html/devel.html | 24 |
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> |