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/develdownload.phtml | |
| parent | 214f1da42a3669caec9864a516f3697f5e8deef6 (diff) | |
Links to developers todo files and README added. Prerelversion notified.
Diffstat (limited to 'html/develdownload.phtml')
| -rw-r--r-- | html/develdownload.phtml | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/html/develdownload.phtml b/html/develdownload.phtml index d79b9b58..52f9dd16 100644 --- a/html/develdownload.phtml +++ b/html/develdownload.phtml @@ -69,7 +69,12 @@ The complete archive also includes: </li> <li> the <!-- WARNING! Line below automatically edited by makefile. --> - <?php fileshow("ProofGeneral-3.1pre000301/todo","low-level list of things to do"); ?> + <?php fileshow("ProofGeneral-3.1pre000301/todo","generic low-level list of things to do"); ?> + 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. --> and the detailed <!-- WARNING! Line below automatically edited by makefile. --> @@ -89,11 +94,7 @@ release, because developers should have the right tools! <p> You probably <em>don't</em> need to download this if you're only interested in hacking the Emacs lisp part of the program for -a prover that is currently supported. But you may -still like to check the latest -<!-- WARNING! Line below automatically edited by makefile. --> -<?php fileshow("ProofGeneral-3.1pre000301/todo","low-level to-do list"); ?>. -<!-- End Warning. --> +a prover that is currently supported. </p> <?php |