diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-12-15 17:23:49 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-12-15 17:23:49 +0000 |
| commit | 8a95a63dbb04817e6144297df93a523487672964 (patch) | |
| tree | fdba4b7aed8be58c57736c0c6eeb9b051a124b7f /html | |
| parent | 97019ccf28e94e7c862ea3f9e3a4c36966ce1371 (diff) | |
rename af2 -> Phox
Diffstat (limited to 'html')
| -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 |