diff options
| -rw-r--r-- | html/main.html | 8 |
1 files changed, 4 insertions, 4 deletions
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 |