diff options
Diffstat (limited to 'html/features.html')
| -rw-r--r-- | html/features.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/html/features.html b/html/features.html index 5a5e3a98..60ade9ac 100644 --- a/html/features.html +++ b/html/features.html @@ -30,7 +30,7 @@ you'd like an interface with the following features... </p> <p> Take a look at these - <a href="screenshot.html">screenshots</a> + <a href="screenshot">screenshots</a> of Proof General to see script management in action. </p> </dd> @@ -127,7 +127,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.html">screenshots</a> for more examples.) + <a href="screenshot">screenshots</a> for more examples.) <p> <?php footnote("X-Symbol currently works in XEmacs only") ?> </dd> |