diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/about.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/about.html b/html/about.html index 7cc7e8af..1fb738cf 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.html">front page</a>. </p> <p> The Proof General project was coordinated until October 1998 by |