From 954af91adb23aaae6203ccc228d20d7185445450 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 13 Sep 2001 15:53:41 +0000
Subject: PHP in php, html and no extn link to php

---
 html/kit.php | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'html/kit.php')

diff --git a/html/kit.php b/html/kit.php
index 5a8d784b..4612071e 100644
--- a/html/kit.php
+++ b/html/kit.php
@@ -3,12 +3,15 @@
   small_header("Proof General Kit"); 
   ?>
 
+<p>
 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>
+</p>
 
 <h3>Planning</h3>
+<p>
 Ideas for the future of Proof General are described in these papers:
 </p>
 <ul>
@@ -27,16 +30,18 @@ Ideas for the future of Proof General are described in these papers:
 <h3>Development</h3>
 <p>
 Not much has been started yet.
-</p>
-
+<br>
 But you can download the DTDs for PGIP and PGML, here:
+</p>
 <ul>
 <li><?php download_link("Kit/dtd/pgip.dtd") ?>
 </li>
 <li><?php download_link("Kit/dtd/pgml.dtd") ?>
 </li>
 </ul>
+<p>
 Comments and contributions welcomed!
+</p>
 
 <?php
    click_to_go_back();
-- 
cgit v1.2.3