From 8a95a63dbb04817e6144297df93a523487672964 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 15 Dec 2000 17:23:49 +0000
Subject: rename af2 -> Phox

---
 html/main.html | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'html/main.html')

diff --git a/html/main.html b/html/main.html
index 807d477c..4a023a65 100644
--- a/html/main.html
+++ b/html/main.html
@@ -109,12 +109,12 @@ Proof General comes ready-customized for these proof assistants:
  <tr>
     <td align="center">
        <?php hlink("http://www.lama.univ-savoie.fr/~RAFFALLI/af2.html",
-       "AF2",
-       "The AF2 Home Page") ?>
+       "PhoX",
+       "The PhoX Home Page") ?>
    </td>
-    <td><b><?php fileshow("ProofGeneral/AF2/README","AF2 Proof General "); ?></b> for
+    <td><b><?php fileshow("ProofGeneral/phox/README","PhoX Proof General "); ?></b> for
        <?php hlink("http://www.lama.univ-savoie.fr/~RAFFALLI/af2.html",
-		   "AF2","The AF2 Home Page") ?>
+		   "PhoX","The PhoX Home Page") ?>
        <br>
        <div style="font-size: smaller">
        Crafted and maintained by 
-- 
cgit v1.2.3