diff options
author | 2001-05-01 14:20:22 +0000 | |
---|---|---|
committer | 2001-05-01 14:20:22 +0000 | |
commit | 10f7d3927af2446baf7d90f7066a6929c75bd921 (patch) | |
tree | 3d09ce424ff836493af4ab740a1cd54e89c8c44c /html/kit | |
parent | 831fd147d87b71fbe3d17098e00e6ed59ba4fab8 (diff) |
Register and kit shortcuts
Diffstat (limited to 'html/kit')
-rw-r--r-- | html/kit | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/html/kit b/html/kit new file mode 100644 index 00000000..5a8d784b --- /dev/null +++ b/html/kit @@ -0,0 +1,44 @@ +<?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(); +?> |