diff options
| author | David Aspinall | 1999-08-20 16:25:46 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-08-20 16:25:46 +0000 |
| commit | f492a2622fb1f8136090f41279fc9ba57f01a5f9 (patch) | |
| tree | 206114758cfebd94fa7a2d9fea3ee2fc45518095 /html/main.phtml | |
| parent | f51655d8d1026d3f83300a4b44ede08cabcce5fe (diff) | |
Tweaks for 2.1 release
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 |