diff options
| author | David Aspinall | 1999-07-22 16:16:45 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-07-22 16:16:45 +0000 |
| commit | b242c730e662b6a74cb63fc462cface7faeb2157 (patch) | |
| tree | 291a05c5a0de4c0a5123e6894fa05d0ae961158b | |
| parent | 5bfc3764443b79cde042619189e339244d9f0c14 (diff) | |
Downgraded Isabelle version to 98-1 again
| -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> |