diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2001-09-03 12:53:51 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2001-09-03 12:53:51 +0000 |
| commit | 91150509614284e1cb3d08f72ee6fa26a492d31d (patch) | |
| tree | 49a2b978f799df7216c59f482fb1b55d20b7890a /html/features.html | |
| parent | 1dc29c0a0a3551ceb9e5c7bf500809fab916d654 (diff) | |
Fix link to screenshot
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> |