diff options
Diffstat (limited to 'html/main.phtml')
| -rw-r--r-- | html/main.phtml | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/html/main.phtml b/html/main.phtml index 87b668b0..88359882 100644 --- a/html/main.phtml +++ b/html/main.phtml @@ -28,7 +28,8 @@ For detailed version numbers, check the </p> <p> -Proof General is ready-customized for several proof assistants: +Proof General is ready-customized for several proof assistants, +including: </p> <table width="90%"> @@ -56,7 +57,7 @@ Proof General is ready-customized for several proof assistants: "<img src=\"images/lego-badge.gif\" width=123 height=33 border=0 alt=\"LEGO badge\">", "The LEGO Home Page") ?> </td> - <td><b>LEGO Proof General</b> + <td><b>LEGO Proof General</b> for <?php hlink("http://www.dcs.ed.ac.uk/home/lego", "LEGO","The LEGO Home Page") ?> <br> @@ -92,6 +93,10 @@ Proof General is ready-customized for several proof assistants: </td> </tr> </table> +<p> +We also supply instructions for how to customize Proof General to new +proof assistants. +</p> <p> To see what Proof General looks like in use, have a look at this |