diff options
author | 2000-05-11 14:32:18 +0000 | |
---|---|---|
committer | 2000-05-11 14:32:18 +0000 | |
commit | d64ccc099dd32fe9dc2d5df2c5bb8a004e0ff10c (patch) | |
tree | 6f2b54e89b2f43e8e82be058227e1aec82aed994 /html/devel.phtml | |
parent | bc4b1c0b70a144c30b3f411fc1bfdc68ba78644c (diff) |
Tidied page a bit
Diffstat (limited to 'html/devel.phtml')
-rw-r--r-- | html/devel.phtml | 15 |
1 files changed, 6 insertions, 9 deletions
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> - |