diff options
| -rw-r--r-- | html/main.phtml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/html/main.phtml b/html/main.phtml index c3f6c126..9bc22e5f 100644 --- a/html/main.phtml +++ b/html/main.phtml @@ -79,15 +79,15 @@ Proof General is 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 99 + version 98-1 <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 + Preliminary support for <a href="http://isabelle.in.tum.de/Isar/">Isabelle/Isar</a> - is provided by + in Isabelle 99 is provided by <a href="http://www.in.tum.de/~wenzelm/">Markus Wenzel</a>. </div> </td> |