diff options
Diffstat (limited to 'html/kit.html')
-rw-r--r-- | html/kit.html | 44 |
1 files changed, 43 insertions, 1 deletions
diff --git a/html/kit.html b/html/kit.html index d10d47a5..5a8d784b 100644 --- a/html/kit.html +++ b/html/kit.html @@ -1,2 +1,44 @@ -<!--#include file="kit"--> +<?php + require('functions.php3'); + small_header("Proof General Kit"); + ?> +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> + +<h3>Planning</h3> +Ideas for the future of Proof General are described in these papers: +</p> +<ul> +<li><a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>. + <b><i>Protocols for Interactive e-Proof</i></b>. + Draft version, see + <a href="http://zermelo.dcs.ed.ac.uk/~da/drafts/#eproof">here</a>. +</li> +<li><a href="http://www.dcs.ed.ac.uk/home/da">David Aspinall</a>. + <b><i>Proof General Kit (white paper)</i></b>. + Draft version, see + <a href="http://zermelo.dcs.ed.ac.uk/home/da/drafts/#white">here</a>. +</li> +</ul> + +<h3>Development</h3> +<p> +Not much has been started yet. +</p> + +But you can download the DTDs for PGIP and PGML, here: +<ul> +<li><?php download_link("Kit/dtd/pgip.dtd") ?> +</li> +<li><?php download_link("Kit/dtd/pgml.dtd") ?> +</li> +</ul> +Comments and contributions welcomed! + +<?php + click_to_go_back(); + footer(); +?> |