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