PHP in php, html and no extn link to php

1 files changed, 7 insertions, 2 deletions

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();