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 7641676d..ab04202e 100644 --- a/html/about.html +++ b/html/about.html @@ -28,7 +28,7 @@ and the <a href="http://www.lfcs.informatics.ed.ac.uk">LFCS</a>. <p> David Aspinall designed the web pages and graphics for Proof General. <br> -Check the <a href="gallery.phtml">gallery</a> for more publicity +Check the <a href="gallery.html">gallery</a> for more publicity pictures! </p> <p> @@ -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.phtml">this form</a>. +Send us a message using <a href="feedback.html">this form</a>. </p> <p> Discuss Proof General with other users and receive -announcements by joining our <a href="mailinglist.phtml">mailing +announcements by joining our <a href="mailinglist.html">mailing list</a>. </p> |