diff options
Diffstat (limited to 'html/about.html')
| -rw-r--r-- | html/about.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/html/about.html b/html/about.html index ab04202e..7cc7e8af 100644 --- a/html/about.html +++ b/html/about.html @@ -9,8 +9,8 @@ proof-by-pointing and script management were added to LEGO mode, and the code was made generic. The generic basis was developed by Thomas Kleymann, Dilip Sequeira, Healfdene Goguen and David Aspinall. The current authors and maintainers of the various instantiations of -Proof General are mentioned on the <?php link_root("main","front -page.") ?> +Proof General are mentioned on the +<a href="main.html">front page.</a>. </p> <p> The Proof General project was coordinated until October 1998 by |