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/features.html | |
| parent | 72faf58cb67c92ce42ebfec399ec2f945c4ec2a7 (diff) | |
Moved to use .html instead of .phtml
Diffstat (limited to 'html/features.html')
| -rw-r--r-- | html/features.html | 6 |
1 files changed, 3 insertions, 3 deletions
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> |