diff options
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> |