diff options
Diffstat (limited to 'html/kit.php')
| -rw-r--r-- | html/kit.php | 49 |
1 files changed, 49 insertions, 0 deletions
diff --git a/html/kit.php b/html/kit.php new file mode 100644 index 00000000..0aa4015e --- /dev/null +++ b/html/kit.php @@ -0,0 +1,49 @@ +<?php + require('functions.php3'); + small_header("Proof General Kit"); + ?> + +<p> +The Proof General Kit project is in an early pre-experimental stage at +the moment. If you are interested in collaborating, or have ideas +or suggestions to contribute, please send a note to +<a href="mailto:kit@proofgeneral.org"><tt>kit@proofgeneral.org</tt></a> +</p> + +<h3>Planning</h3> +<p> +Ideas for the future of Proof General are described in these papers: +</p> +<ul> +<li><a href="http://homepages.inf.ed.ac.uk/da">David Aspinall</a>. + <b><i>Protocols for Interactive e-Proof</i></b>. + Draft version, see + <a href="http://homepages.inf.ed.ac.uk/da/papers/drafts/#eproof">here</a>. +</li> +<li><a href="http://homepages.inf.ed.ac.uk/da">David Aspinall</a>. + <b><i>Proof General Kit (white paper)</i></b>. + Draft version, see + <a href="http://homepages.inf.ed.ac.uk/da/papers/drafts/#white">here</a>. +</li> +</ul> + +<h3>Development</h3> +<p> +Not much has been started yet. +<br> +But you can download the DTDs for PGIP and PGML, here: +</p> +<ul> +<li><?php download_link("Kit/dtd/pgip.dtd") ?> +</li> +<li><?php download_link("Kit/dtd/pgml.dtd") ?> +</li> +</ul> +<p> +Comments and contributions welcomed! +</p> + +<?php + click_to_go_back(); + footer(); +?> |