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/main.html | |
| parent | 72faf58cb67c92ce42ebfec399ec2f945c4ec2a7 (diff) | |
Moved to use .html instead of .phtml
Diffstat (limited to 'html/main.html')
| -rw-r--r-- | html/main.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/html/main.html b/html/main.html index 7844d527..614c194a 100644 --- a/html/main.html +++ b/html/main.html @@ -24,11 +24,11 @@ To read more about what Proof General provides, <?php link_root("features","check the features list") ?>. To see what Proof General looks like in use, have a look at these -<a href="screenshot.phtml">screenshots</a>. +<a href="screenshot.html">screenshots</a>. To download Proof General, visit the <?php link_root("download","download page") ?>. To contact the developers, click -<?php hlink("feedback.phtml","here","Feedback form")?>. +<?php hlink("feedback.html","here","Feedback form")?>. </p> |