From 3c4e89e92f4200f65c6b2d8497c62ed560cfbcaa Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 27 Sep 2000 14:28:52 +0000
Subject: Updated web pages, misc improvements.

---
 html/main.phtml | 62 ++++++++++++++++++++++++++++++++++++++-------------------
 1 file changed, 41 insertions(+), 21 deletions(-)

(limited to 'html/main.phtml')

diff --git a/html/main.phtml b/html/main.phtml
index f0d07253..7844d527 100644
--- a/html/main.phtml
+++ b/html/main.phtml
@@ -13,7 +13,12 @@ works best under
 <a href="http://www.gnu.org/software/emacs/">FSF GNU Emacs</a>.
 You need a recent version in either case.
 </p>
-
+<p>
+The aim of the Proof General project is to provide a powerful and
+configurable interfaces which help user-interaction with interactive
+proof assistants.  The strategy of Proof General is to target power
+users rather than novices, but we include general user interface
+niceties, such as toolbar and menus, which make use easier for all.
 <p>
 To read more about what Proof General
 provides, 
@@ -27,7 +32,6 @@ To contact the developers, click
 </p>
 
 
-</p>
 
 <h2>What systems does Proof General work with?</h2>
 <p>
@@ -50,13 +54,34 @@ including:
          First crafted by 
          <a href="http://www.dcs.ed.ac.uk/~hhg">Healfdene Goguen</a>. 
 	 <br>
-	 Later contributions by Patrick Loiseleur.
+	 Contributions by Patrick Loiseleur.
          <br>
-	  Maintained by 
-	    <a href="mailto:courtieu@lri.fr">Pierre Courtieu</a>.
+          Maintained by 
+	  <a href="mailto:courtieu@lri.fr">Pierre Courtieu</a>.
         </div>
     </td>
  </tr>
+ <tr>
+   <td align="center">
+       <?php hlink("http://www.cl.cam.ac.uk/Research/HVG/Isabelle/",
+      "<img src=\"images/isabelle.gif\" width=74 height=64 border=0 alt=\"Isabelle badge\">",
+      "The Isabelle Home Page"); ?>
+   </td>
+   <td><b><?php fileshow("ProofGeneral/isa/README","Isabelle Proof General "); ?></b> for
+       <?php hlink("http://www.cl.cam.ac.uk/Research/HVG/Isabelle/",
+		    "Isabelle", "The Isabelle Home Page"); ?>
+      <br>
+       <div style="font-size: smaller">
+       Crafted and maintained by 
+      <a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>.
+      <br>
+      Additional maintainance, support for
+      <a href="http://isabelle.in.tum.de/Isar">Isabelle/Isar</a>
+      by
+      <a href="http://www.in.tum.de/~wenzelm/">Markus Wenzel</a>.
+       </div>
+   </td>
+ </tr>
  <tr>
     <td align="center">
        <?php hlink("http://www.dcs.ed.ac.uk/home/lego",
@@ -73,32 +98,27 @@ including:
         <a href="http://www.dcs.ed.ac.uk/~djs/welcome.html">Dilip Sequeira</a>.
        <br>
        Maintained by 
-       <a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a>
+       <a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>
        and
        <a href="http://www.dur.ac.uk/p.c.callaghan/">Paul Callaghan</a>.
        </div>
     </td>
  </tr>
  <tr>
-   <td align="center">
-       <?php hlink("http://www.cl.cam.ac.uk/Research/HVG/Isabelle/",
-      "<img src=\"images/isabelle.gif\" width=74 height=64 border=0 alt=\"Isabelle badge\">",
-      "The Isabelle Home Page"); ?>
+    <td align="center">
+       <?php hlink("http://www.lama.univ-savoie.fr/~RAFFALLI/af2.html",
+       "AF2",
+       "The AF2 Home Page") ?>
    </td>
-   <td><b><?php fileshow("ProofGeneral/isa/README","Isabelle Proof General "); ?></b> for
-       <?php hlink("http://www.cl.cam.ac.uk/Research/HVG/Isabelle/",
-		    "Isabelle", "The Isabelle Home Page"); ?>
-      <br>
+    <td><b><?php fileshow("ProofGeneral/AF2/README","AF2 Proof General "); ?></b> for
+       <?php hlink("http://www.lama.univ-savoie.fr/~RAFFALLI/af2.html",
+		   "AF2","The AF2 Home Page") ?>
+       <br>
        <div style="font-size: smaller">
        Crafted and maintained by 
-      <a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a>.
-      <br>
-      Additional maintainance, support for
-      <a href="http://isabelle.in.tum.de/Isar">Isabelle/Isar</a>
-      by
-      <a href="http://www.in.tum.de/~wenzelm/">Markus Wenzel</a>.
+       <a href="http://www.lama.univ-savoie.fr/~RAFFALLI">Christophe Raffalli</a>
        </div>
-   </td>
+    </td>
  </tr>
 </table>
 <p>
-- 
cgit v1.2.3