diff options
| author | David Aspinall | 1999-06-28 18:08:18 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-06-28 18:08:18 +0000 |
| commit | 102dc3d60e7d83d1008e239d9030090b362cb508 (patch) | |
| tree | 7cd7ec35c1fc1497baa2d812f36b2d66efdb96f7 /html/main.phtml | |
| parent | 2696964760941feb9203e69c3221a37ef82676b4 (diff) | |
Mention Plastic and Isar and release number of Emacs.
Diffstat (limited to 'html/main.phtml')
| -rw-r--r-- | html/main.phtml | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/html/main.phtml b/html/main.phtml index 4f600174..9ff9d505 100644 --- a/html/main.phtml +++ b/html/main.phtml @@ -18,7 +18,11 @@ works best under <a href="http://www.xemacs.org/">XEmacs</a>, but can also be used with <a href="http://www.gnu.org/software/emacs/">FSF GNU Emacs</a>. <br> -It is supplied ready-customized for several proof assistants: +You need a 20.X (or later) version in either case. +</p> + +<p> +Proof General is ready-customized for several proof assistants: </p> <p> <table width=90%> @@ -64,11 +68,16 @@ It is supplied ready-customized for several proof assistants: <td><b> Isabelle Proof General </b> for <?php hlink("http://www.cl.cam.ac.uk/Research/HVG/Isabelle/", "Isabelle", "The Isabelle Home Page"); ?> - version 98-1 - <br> + version 99 + <br> <div style="font-size: smaller"> Crafted and maintained by <a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a>. + <br> + Support for + <a href="http://isabelle.in.tum.de/Isar/">Isabelle/Isar</a> + is provided by + <a href="http://www.in.tum.de/~wenzelm/">Markus Wenzel</a>. </div> </td> </tr> |