diff options
| author | David Aspinall | 2002-07-15 09:29:40 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-15 09:29:40 +0000 |
| commit | f9eef939814b52977c01e063691bd0f7304d94e9 (patch) | |
| tree | 7eecc8bdb4b1fa87129aefd12c922a9219bd29d9 /html | |
| parent | c1c0fb3173cb46e21a22baec4a120a3d04016649 (diff) | |
Put isa first
Diffstat (limited to 'html')
| -rw-r--r-- | html/main.html | 36 |
1 files changed, 18 insertions, 18 deletions
diff --git a/html/main.html b/html/main.html index 2c75231b..d6672b96 100644 --- a/html/main.html +++ b/html/main.html @@ -31,22 +31,6 @@ Proof General comes ready-customized for these proof assistants: </p> <table width="90%"> - <tr> - <td align="center"> - <?php hlink("http://pauillac.inria.fr/coq/", - "<img src=\"images/coqlogo4.gif\" width=66 height=61 border=0 alt=\"Coq badge\">","The Coq Home Page") ?> - </td> - <td> - <b><?php fileshow("ProofGeneral/coq/README","Coq Proof General "); ?></b> for - <?php hlink("http://pauillac.inria.fr/coq/", - "Coq","The Coq Home Page") ?> - <br> - <div style="font-size: smaller"> - By Healfdene Goguen, Patrick Loiseleur, David Aspinall, and - <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/", @@ -65,14 +49,30 @@ Proof General comes ready-customized for these proof assistants: </div> </td> </tr> + <tr> + <td align="center"> + <?php hlink("http://pauillac.inria.fr/coq/", + "<img src=\"images/coqlogo4.gif\" width=66 height=61 border=0 alt=\"Coq badge\">","The Coq Home Page") ?> + </td> + <td> + <b><?php fileshow("ProofGeneral/coq/README","Coq Proof General "); ?></b> for + <?php hlink("http://pauillac.inria.fr/coq/", + "Coq","The Coq Home Page") ?> + <br> + <div style="font-size: smaller"> + By Healfdene Goguen, Patrick Loiseleur, David Aspinall, and + <a href="mailto:courtieu@lri.fr">Pierre Courtieu</a>. + </div> + </td> + </tr> <tr> <td align="center"> - <?php hlink("http://www.lama.univ-savoie.fr/~RAFFALLI/af2.html", + <?php hlink("http://www.lama.univ-savoie.fr/~RAFFALLI/phox.html", "<img src=\"images/phox-einstein.jpg\" width=80 height=48 border=0 alt=\"PhoX logo\">", "The PhoX Home Page") ?> </td> <td><b><?php fileshow("ProofGeneral/phox/README","PhoX Proof General "); ?></b> for - <?php hlink("http://www.lama.univ-savoie.fr/~RAFFALLI/af2.html", + <?php hlink("http://www.lama.univ-savoie.fr/~RAFFALLI/phox.html", "PhoX","The PhoX Home Page") ?> <br> <div style="font-size: smaller"> |