diff options
| author | David Aspinall | 2002-07-13 16:29:41 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-13 16:29:41 +0000 |
| commit | 9c076cb3a0fd5658ff33e543e3de3b45bc320c20 (patch) | |
| tree | b2ceffa43e8bac300c1fcb53dd1c01343660e25f | |
| parent | dc650fcaeadbc1aac792f012db8f1865b9fa2830 (diff) | |
Tweak mailing list details, order of items.
| -rw-r--r-- | html/devel.html | 31 |
1 files changed, 21 insertions, 10 deletions
diff --git a/html/devel.html b/html/devel.html index fc6b38f9..416f1c2f 100644 --- a/html/devel.html +++ b/html/devel.html @@ -3,17 +3,11 @@ Proof General follows an open development method. <br> We welcome code contributions, suggestions, and bug reports, from all -users and hackers! +users. </p> <ul> <li> -Read about ideas for the <a href="kit">Proof General Kit</a> -here. -</li> -</ul> -<ul> -<li> Download the latest <a href="develdownload.html">development release: <!-- WARNING! Line below automatically edited by makefile. --> <b>ProofGeneral-3.4pre020701</b></a> @@ -28,6 +22,14 @@ Check the 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> @@ -46,6 +48,8 @@ Get involved! Take a look at the Proof General <a href="projects.html">project proposals</a>. </li> </ul> + + <ul> <li> Read the @@ -54,6 +58,8 @@ developer's with development hints and tips. </li> </ul> + + <ul> <li> Read the brief list of planned @@ -76,6 +82,7 @@ for the <!-- end WARNING --> </li> </ul> + <!-- <ul> --> <!-- <li> --> <!-- Browse source files from the current pre-release: --> @@ -89,6 +96,8 @@ for the <!-- <?php fileshow("ProofGeneral-3.4pre020701/generic/proof-splash.el") ?>, --> <!-- <?php fileshow("ProofGeneral-3.4pre020701/generic/proof-easy-config.el") ?>. --> <!-- </ul> --> + + <ul> <li> <?php hlink("feedback.html","Send us a message ","Feedback form")?> @@ -100,10 +109,12 @@ about any development issues. <p> We have a mailing list for developers, at -<a href="mailto:proofgeneral-devel@informatics.ed.ac.uk"> -<tt>proofgeneral-devel@informatics.ed.ac.uk</tt></a>. +<a href="mailto:devel@proofgeneral.org">devel@proofgeneral.org</a>. <br> +Posting is restricted to list members. To subscribe (or unsubscribe), -visit <a href="http://lists.informatics.ed.ac.uk/listinfo/proofgeneral-devel">this web page</a>. +visit +<a href="http://lists.informatics.ed.ac.uk/listinfo/proofgeneral-devel">this +web page</a>. </p> |