diff options
| author | David Aspinall | 1999-11-30 14:18:39 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-30 14:18:39 +0000 |
| commit | a5e0bfc0666ca6ab358f25e656624799b4be8918 (patch) | |
| tree | dff8bacd7fb5b62c4fbe38fdfdca1b79224cefd7 /html/main.phtml | |
| parent | 66b975ef869086b1733e41ea71a73ac75892616c (diff) | |
New screenshots.
Diffstat (limited to 'html/main.phtml')
| -rw-r--r-- | html/main.phtml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/html/main.phtml b/html/main.phtml index 0bf9a7bb..545d108a 100644 --- a/html/main.phtml +++ b/html/main.phtml @@ -108,8 +108,8 @@ made available in our developers release. To read more about what features Proof General provides, <a href="features.phtml">click here</a>. <br> -To see what Proof General looks like in use, have a look at this -<a href="screenshot.phtml">screenshot</a>. +To see what Proof General looks like in use, have a look at these +<a href="screenshot.phtml">screenshots</a>. </p> |