From ce2413d4ba78cacb8d5e098ed1421456bb811e53 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 28 Sep 2000 15:14:22 +0000
Subject: Moved to use .html instead of .phtml

---
 html/features.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'html/features.html')

diff --git a/html/features.html b/html/features.html
index 372ab17b..ad86b3ac 100644
--- a/html/features.html
+++ b/html/features.html
@@ -28,7 +28,7 @@ you'd like an interface with the following features...
   </p>
   <p>
   Take a look at these
-  <a href="screenshot.phtml">screenshots</a>
+  <a href="screenshot.html">screenshots</a>
   of Proof General to see script managament in action.
   </p>
   </dd>
@@ -119,7 +119,7 @@ proof assistant to add PBP support.")  ?>
   <br>
    (Those examples are simple so they will work on most browsers 
     without needing images, see the
-    <a href="screenshot.phtml">screenshots</a> for more examples.)
+    <a href="screenshot.html">screenshots</a> for more examples.)
   <p>
   <?php footnote("X-Symbol currently works in XEmacs only") ?>
   </dd>
@@ -171,7 +171,7 @@ proof assistant to add PBP support.")  ?>
   </p>
   Please feel free to download Proof General to customize it for a new
   system, and 
-  <?php hlink("feedback.phtml","tell us ","Feedback form")?>
+  <?php hlink("feedback.html","tell us ","Feedback form")?>
   how you get on.
   </dd>
 </dl>
-- 
cgit v1.2.3