Updates

1 files changed, 5 insertions, 9 deletions

diff --git a/html/download.phtml b/html/download.phtml
index 4f7a82fc..7ddf5585 100644
--- a/html/download.phtml
+++ b/html/download.phtml
@@ -3,7 +3,6 @@
 Before downloading Proof General, <i>please</i>
 <a href="register.phtml">register</a>.
 It's free, it only takes a moment.
-<br>
 If you have already registered you do not need to do so again.
 </p>
 <p>
@@ -23,14 +22,9 @@ directly.
 You may like to join the
 Proof General
 <a href="mailinglist.phtml">mailing list</a>.
-</p>
-
-<p>
 Developers and beta-testers may like to download
 a <a href="develdownload.phtml">development release</a>
 of Proof General.
-</p>
-<p>
 If you use an old version of a proof assistant,
 you may need to download one of the 
 <a href="oldrel.phtml">previous releases</a>.
@@ -39,7 +33,7 @@ you may need to download one of the
 Please check the 
 <?php fileshow("ProofGeneral/COPYING","license conditions "); ?>
 for using Proof General.
-<p>
+</p>
 
 <h2><a name="prereq">
     What you need to run Proof General
@@ -147,17 +141,19 @@ This version of Proof General has been tested
 with XEmacs 21.1 and FSF Emacs 20.4.
 It supports Coq version 6.3, LEGO version 1.3.1 and
 Isabelle99.
+</p>
 <p>
 Check the <?php fileshow("ProofGeneral-3.1/CHANGES","CHANGES"); ?> file
 for a summary of changes since version 3.0.
+</p>
 <p>
 Check the latest <?php fileshow("ProofGeneral/BUGS","BUGS"); ?> file
 (also 
 <?php fileshow("ProofGeneral/lego/BUGS","lego/BUGS, "); ?>
 <?php fileshow("ProofGeneral/coq/BUGS","coq/BUGS, "); ?>
 <?php fileshow("ProofGeneral/isa/BUGS","isa/BUGS, "); ?>
-<?php fileshow("ProofGeneral/isar/BUGS","isar/BUGS," ); ?>
-<?php fileshow("ProofGeneral/hol98/BUGS","hol98/BUGS"); ?>)
+<?php fileshow("ProofGeneral/isar/BUGS","isar/BUGS," ); ?>)
+<!-- <?php fileshow("ProofGeneral/hol98/BUGS","hol98/BUGS"); ?>) -->
 before reporting problems.  If you find a problem not already mentioned, 
 please 
 <?php hlink("feedback.phtml","send us a note","Feedback form")?>.