Updates

1 files changed, 13 insertions, 16 deletions

diff --git a/html/main.phtml b/html/main.phtml
index 30dc84a1..2472be19 100644
--- a/html/main.phtml
+++ b/html/main.phtml
@@ -1,6 +1,7 @@
+<h2>What is Proof General?</h2>
 <p>
 <b>Proof General</b> is a generic interface for proof assistants, 
-based on Emacs.<br>
+currently based on Emacs.
 It has been developed at the
 <a href="http://www.lfcs.informatics.ed.ac.uk/">LFCS</a>
 in the <a href="http://www.ed.ac.uk/">University of Edinburgh</a>.
@@ -10,23 +11,27 @@ Proof General
 works best under 
 <a href="http://www.xemacs.org/">XEmacs</a>, but can also be used with 
 <a href="http://www.gnu.org/software/emacs/">FSF GNU Emacs</a>.
-<br>
 You need a recent version in either case.
-For detailed version numbers, check the
-<?php link_root("download","download page.") ?> 
 </p>
 
 <p>
-To read more about what features Proof General
+To read more about what Proof General
 provides, 
-<?php link_root("features","click here") ?>.
-<br>
+<?php link_root("features","check the features list") ?>.
 To see what Proof General looks like in use, have a look at these
 <a href="screenshot.phtml">screenshots</a>.
+To download Proof General, visit the
+<?php link_root("download","download page") ?>.
+To contact the developers, click
+<?php hlink("feedback.phtml","here","Feedback form")?>.
+</p>
+
+
 </p>
 
+<h2>What systems does Proof General work with?</h2>
 <p>
-Proof General is ready-customized for several proof assistants,
+Proof General comes ready-customized for several proof assistants,
 including:
 </p>
 
@@ -103,17 +108,9 @@ and improve this (perhaps also supporting other HOL variants).
 </p>
 <p>
 Proof General is ready to be customized to new proof assistants.
-<br>
 It can be <?php fileshow("ProofGeneral/demoisa/demoisa-easy.el",
 "very easy"); ?> to get basic support working.
-<br>
 Full documentation on configuration is provided.
 </p>
 
 
-<p>
-You can download Proof General 
-<?php link_root("download","here") ?> or contact the developers 
-<?php hlink("feedback.phtml","here","Feedback form")?>.
-</p>
-