diff options
| author | David Aspinall | 2000-09-28 15:14:22 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-28 15:14:22 +0000 |
| commit | ce2413d4ba78cacb8d5e098ed1421456bb811e53 (patch) | |
| tree | 59fd174214fe68f5da6636e5151dcbdaa2a878ba /html/about.html | |
| parent | 72faf58cb67c92ce42ebfec399ec2f945c4ec2a7 (diff) | |
Moved to use .html instead of .phtml
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> |