From a5e0bfc0666ca6ab358f25e656624799b4be8918 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 30 Nov 1999 14:18:39 +0000
Subject: New screenshots.

---
 html/features.phtml                   |   4 ++--
 html/images/pg-isa-screenshot.png     | Bin 0 -> 46767 bytes
 html/images/pg-isa-thumb.png          | Bin 0 -> 16726 bytes
 html/images/pg-isar-screenshot.png    | Bin 29019 -> 50400 bytes
 html/images/pg-isar-thumb.png         | Bin 0 -> 20072 bytes
 html/images/pg-lego-console-thumb.png | Bin 0 -> 6113 bytes
 html/images/pg-lego-console.png       | Bin 0 -> 6853 bytes
 html/images/pg-lego-screenshot.png    | Bin 0 -> 32219 bytes
 html/images/pg-lego-thumb.png         | Bin 0 -> 10979 bytes
 html/main.phtml                       |   4 ++--
 10 files changed, 4 insertions(+), 4 deletions(-)
 create mode 100644 html/images/pg-isa-screenshot.png
 create mode 100644 html/images/pg-isa-thumb.png
 create mode 100644 html/images/pg-isar-thumb.png
 create mode 100644 html/images/pg-lego-console-thumb.png
 create mode 100644 html/images/pg-lego-console.png
 create mode 100644 html/images/pg-lego-screenshot.png
 create mode 100644 html/images/pg-lego-thumb.png

(limited to 'html')

diff --git a/html/features.phtml b/html/features.phtml
index 091139b8..c647d9ac 100644
--- a/html/features.phtml
+++ b/html/features.phtml
@@ -62,8 +62,8 @@ If not, read on…
   of the buffer, or undoing already processed parts.
   </p>
   <p>
-  Take a look at this
-  <a href="screenshot.phtml">screenshot</a>
+  Take a look at these
+  <a href="screenshot.phtml">screenshots</a>
   of Proof General to see script managament in action.
   </p>
   </dd>
diff --git a/html/images/pg-isa-screenshot.png b/html/images/pg-isa-screenshot.png
new file mode 100644
index 00000000..e903e4e3
Binary files /dev/null and b/html/images/pg-isa-screenshot.png differ
diff --git a/html/images/pg-isa-thumb.png b/html/images/pg-isa-thumb.png
new file mode 100644
index 00000000..d0db67cc
Binary files /dev/null and b/html/images/pg-isa-thumb.png differ
diff --git a/html/images/pg-isar-screenshot.png b/html/images/pg-isar-screenshot.png
index 42418b8a..6ea369de 100644
Binary files a/html/images/pg-isar-screenshot.png and b/html/images/pg-isar-screenshot.png differ
diff --git a/html/images/pg-isar-thumb.png b/html/images/pg-isar-thumb.png
new file mode 100644
index 00000000..bc558d56
Binary files /dev/null and b/html/images/pg-isar-thumb.png differ
diff --git a/html/images/pg-lego-console-thumb.png b/html/images/pg-lego-console-thumb.png
new file mode 100644
index 00000000..a82c0cf1
Binary files /dev/null and b/html/images/pg-lego-console-thumb.png differ
diff --git a/html/images/pg-lego-console.png b/html/images/pg-lego-console.png
new file mode 100644
index 00000000..653f0ac4
Binary files /dev/null and b/html/images/pg-lego-console.png differ
diff --git a/html/images/pg-lego-screenshot.png b/html/images/pg-lego-screenshot.png
new file mode 100644
index 00000000..e8c6b749
Binary files /dev/null and b/html/images/pg-lego-screenshot.png differ
diff --git a/html/images/pg-lego-thumb.png b/html/images/pg-lego-thumb.png
new file mode 100644
index 00000000..6f650baa
Binary files /dev/null and b/html/images/pg-lego-thumb.png differ
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>
 
 
-- 
cgit v1.2.3