diff options
| author | David Aspinall | 2000-03-08 06:01:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-08 06:01:06 +0000 |
| commit | bd35cb53d336e632a4c5770dd3e94f4faa3638c3 (patch) | |
| tree | e79c4455287423d858ba062506c189b5a7e0c068 /html/devel.phtml | |
| parent | 214f1da42a3669caec9864a516f3697f5e8deef6 (diff) | |
Links to developers todo files and README added. Prerelversion notified.
Diffstat (limited to 'html/devel.phtml')
| -rw-r--r-- | html/devel.phtml | 28 |
1 files changed, 27 insertions, 1 deletions
diff --git a/html/devel.phtml b/html/devel.phtml index a55238d0..7a85b557 100644 --- a/html/devel.phtml +++ b/html/devel.phtml @@ -7,7 +7,11 @@ users and hackers! <ul> <li> -Download the latest <a href="develdownload.phtml">development release</a> +Download the latest <a href="develdownload.phtml">development release: +<!-- WARNING! Line below automatically edited by makefile. --> + <b>ProofGeneral-3.1pre000301</b></a> +<!-- end WARNING --> + <br> (please <a href="register.phtml">register</a> if you haven't already). </li> </ul> @@ -24,6 +28,28 @@ Take a look at the Proof General <a href="projects.phtml">project proposals</a>. </ul> <ul> <li> +Read the +developer's +<?php fileshow("ProofGeneral-3.1pre000301/README.devel","README file"); ?>, +with development hints and tips. +</li> +</ul> +<ul> +<li> +See our current low-level lists of things to do, for the +<!-- WARNING! Lines below automatically edited by makefile. --> + <?php fileshow("ProofGeneral-3.1pre000301/todo","generic base"); ?>, + <br> + and for each prover: + <?php fileshow("ProofGeneral-3.1pre000301/isa/todo","isa to do"); ?>, + <?php fileshow("ProofGeneral-3.1pre000301/isar/todo","isar to do"); ?>, + <?php fileshow("ProofGeneral-3.1pre000301/coq/todo","coq to do"); ?>, + <?php fileshow("ProofGeneral-3.1pre000301/lego/todo","lego to do"); ?>. +<!-- end WARNING --> +</li> +</ul> +<ul> +<li> <?php hlink("feedback.phtml","Send us a message ","Feedback form")?> about any development issues. </li> |