diff options
Diffstat (limited to 'html/about.html')
| -rw-r--r-- | html/about.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/html/about.html b/html/about.html index e57b88aa..d5be7bc7 100644 --- a/html/about.html +++ b/html/about.html @@ -10,7 +10,7 @@ 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 -<a href="main.html">front page</a>. +<a href="main">front page</a>. </p> <p> The Proof General project was coordinated until October 1998 by @@ -43,12 +43,12 @@ the Proof General program, see the <p> Have you any questions, comments, or suggestions about Proof General? <br> -Send us a message using <a href="feedback.html">this form</a>. +Send us a message using <a href="feedback">this form</a>. </p> <p> Discuss Proof General with other users and receive -announcements by joining our <a href="mailinglist.html">mailing +announcements by joining our <a href="mailinglist">mailing list</a>. </p> |