From 91150509614284e1cb3d08f72ee6fa26a492d31d Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 3 Sep 2001 12:53:51 +0000 Subject: Fix link to screenshot --- html/features.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'html/features.html') 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...

Take a look at these - screenshots + screenshots of Proof General to see script management in action.

@@ -127,7 +127,7 @@ proof assistant to add PBP support.") ?>
(Those examples are simple so they will work on most browsers without needing images, see the - screenshots for more examples.) + screenshots for more examples.)

-- cgit v1.2.3