diff options
| -rw-r--r-- | html/kit.html | 44 | ||||
| -rw-r--r-- | html/kit.php | 44 |
2 files changed, 45 insertions, 43 deletions
diff --git a/html/kit.html b/html/kit.html index 5a8d784b..d10d47a5 100644 --- a/html/kit.html +++ b/html/kit.html @@ -1,44 +1,2 @@ -<?php - require('functions.php3'); - small_header("Proof General Kit"); - ?> +<!--#include file="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(); -?> diff --git a/html/kit.php b/html/kit.php new file mode 100644 index 00000000..5a8d784b --- /dev/null +++ b/html/kit.php @@ -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(); +?> |