diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2001-09-13 13:44:53 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2001-09-13 13:44:53 +0000 |
commit | e3d572318bd40aadd46d2e6a6a543f02afd47f33 (patch) | |
tree | 2f88c082a6e8e977df266f0a868ae65692744610 /html/kit.html | |
parent | 3a7677c6a5bc770a74914a3d9addabb1c332b13d (diff) |
Try to fix PHP/html nonsense, by disabling SSI and enabling php for .html files
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(); +?> |