From 7447b592679aaa2b488a3e53fe75234a06833bf4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 9 Sep 2001 17:34:46 +0000
Subject: File determination nonsense

---
 html/kit.html | 44 +-------------------------------------------
 html/kit.php  | 44 ++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 45 insertions(+), 43 deletions(-)
 create mode 100644 html/kit.php

(limited to 'html')

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();
+?>
-- 
cgit v1.2.3