From 138c69a571314874744376d5cdc723f52e885782 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 26 Nov 1999 17:07:23 +0000
Subject: Fixup formatting

---
 html/features.phtml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'html')

diff --git a/html/features.phtml b/html/features.phtml
index e87d344d..bb6825ff 100644
--- a/html/features.phtml
+++ b/html/features.phtml
@@ -27,6 +27,7 @@ If not, read on…
 </hrule>
 <dl>
   <a name="simple"><?php dt("Simplfied interaction.") ?></a> 
+  <dd>
   Proof General is designed for proof assistants which have a
   command-line shell interpreter.  When using Proof General, the proof
   assistant's shell is hidden from the user.  Communication takes
@@ -38,7 +39,6 @@ If not, read on&#8230;
   displayed at once.  This means that the user only sees the output
   from the most recent interaction, rather than a screen full of
   output from the proof assistant.
-  </p>
   <p>
   Despite more friendly communication model, Proof General does not
   commandeer the proof assistant shell: the user still has complete
@@ -141,7 +141,7 @@ If not, read on&#8230;
   proved in the current buffer.  
 <!-- it is in FSF Emacs if you download func-menu.el from somewhere -->
 <!--   <?php footnote("Definitions menu is available in XEmacs only") ?> -->
-  <p></p>
+  <p>
   </dd>
   <?php dt("Remote proof assistant.") ?>
   <dd>
-- 
cgit v1.2.3