diff options
| author | David Aspinall | 2000-03-08 06:10:59 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-08 06:10:59 +0000 |
| commit | fc20ccaca661b4d6f7d6f5ee0f72f4b06d71b509 (patch) | |
| tree | bf0d92add465d9e17df34d0d1278c906548b5e7a /html | |
| parent | ff1ce2b2d7aba6ddd2a0c79e80dd620a11510fa6 (diff) | |
Tweaks. Me as LEGO maintainer as well as Paul.
Diffstat (limited to 'html')
| -rw-r--r-- | html/main.phtml | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/html/main.phtml b/html/main.phtml index ede468e5..c944662c 100644 --- a/html/main.phtml +++ b/html/main.phtml @@ -67,8 +67,10 @@ including: and <a href="http://www.dcs.ed.ac.uk/~djs/welcome.html">Dilip Sequeira</a>. <br> - Maintained by <a href="http://www.dur.ac.uk/~dcs1pcc/">Paul - Callaghan</a>. + Maintained by + <a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a> + and + <a href="http://www.dur.ac.uk/~dcs1pcc/">Paul Callaghan</a>. </div> </td> </tr> @@ -86,9 +88,9 @@ including: Crafted and maintained by <a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a>. <br> - Additional maintainance and support for + Additional maintainance, support for <a href="http://isabelle.in.tum.de/Isar/">Isabelle/Isar</a> - is provided by + by <a href="http://www.in.tum.de/~wenzelm/">Markus Wenzel</a>. </div> </td> @@ -96,11 +98,12 @@ including: </table> <p> Proof General is ready to be customized to new proof assistants. +<br> It can be <?php fileshow("ProofGeneral/demoisa/demoisa-easy.el", "very easy"); ?> to get basic support working. <br> -Full documentation on configuration is provided, -and experimental support for new proof assistants is +Full documentation on configuration is provided. +Experimental support for new proof assistants is made available in our developers release. </p> |