Fixed a broken link. Rephrased some bits.

1 files changed, 24 insertions, 24 deletions

diff --git a/html/about.phtml b/html/about.phtml
index 6793fc15..7f7274c1 100644
--- a/html/about.phtml
+++ b/html/about.phtml
@@ -1,32 +1,32 @@
 <!-- <h2><a name="about">About Proof General</a></h2> -->
 <h2>The Proof General project</h2>
 <p>
-The forefather of Proof General was LEGO mode, begun by Thomas
-Kleymann in 1994 as an Emacs-based front end for LEGO similar to <a
-href="http://www.dcs.ed.ac.uk/home/da/Isamode">Isamode</a>.  Later,
-implementations of proof-by-pointing and script management were added,
-and the code was made generic.  
-</p>
-
-<p>
-This generic basis for Proof General was developed at the
-<a href="http://www.dcs.ed.ac.uk/lfcs">LFCS</a> by Kleymann, Sequeira, 
-Goguen and Aspinall (in order of appearance). 
-Early on, Yves Bertot provided assistance, and Proof General follows 
-some of the ideas used in <a href="http://www.inria.fr/croap/">Project CROAP</a>.
-
-The authors and current maintainers of the various instantiations of
-Proof General are mentioned on the 
-<?php link_root("main","front page.") ?>
+The forefather of Proof General was LEGO mode, begun in 1994 at the <a
+href="http://www.dcs.ed.ac.uk/lfcs">LFCS</a> by Thomas Kleymann.  LEGO
+mode was an Emacs-based front end for LEGO similar to David Aspinall's
+<a href="http://www.dcs.ed.ac.uk/home/da/Isamode">Isamode</a>,
+developed at the LFCS since 1992.  After 1994, implementations of
+proof-by-pointing and script management were added to LEGO mode, and
+the code was made generic.  The generic basis was developed by
+Kleymann, Sequeira, Goguen and Aspinall (in order of appearance).
+Yves Bertot provided assistance with proof-by-pointing, and Proof
+General follows some of the ideas used in <a
+href="http://www.inria.fr/croap/">Project CROAP</a>.
+The current authors and maintainers of the various instantiations of
+Proof General are mentioned on the <?php link_root("main","front
+page.") ?>
 </p>
 <p> 
-The Proof General project was coordinated until October 1998 by Thomas
-Kleymann, and since then by David Aspinall.
-The project has benefited from
-funding by <a
-href="http://www.dcs.ed.ac.uk/lfcs/research/logic_and_proof/attbpa.html">EPSRC</a>
-and the <a
-href="http://www.dcs.ed.ac.uk/lfcs/research/types_bra/index.html">EC</a>.
+The Proof General project was coordinated until October 1998 by
+Thomas Kleymann, and since then by David Aspinall.  The project has
+benefited from funding by 
+<!-- this link is broken: <a href="http://www.dcs.ed.ac.uk/lfcs/research/logic_and_proof/attbpa.html"> -->
+EPSRC, 
+<!-- (Applications of a Type Theory based Proof Assistant) -->
+<!-- </a>, -->
+the <a
+href="http://www.dcs.ed.ac.uk/lfcs/research/types_bra/index.html">EC</a>,
+and the <a href="http://www.dcs.ed.ac.uk/lfcs">LFCS</a>.
 </p>
 
 <p>