diff options
Diffstat (limited to 'html')
-rw-r--r-- | html/features.phtml | 4 | ||||
-rw-r--r-- | html/images/pg-isa-screenshot.png | bin | 0 -> 46767 bytes | |||
-rw-r--r-- | html/images/pg-isa-thumb.png | bin | 0 -> 16726 bytes | |||
-rw-r--r-- | html/images/pg-isar-screenshot.png | bin | 29019 -> 50400 bytes | |||
-rw-r--r-- | html/images/pg-isar-thumb.png | bin | 0 -> 20072 bytes | |||
-rw-r--r-- | html/images/pg-lego-console-thumb.png | bin | 0 -> 6113 bytes | |||
-rw-r--r-- | html/images/pg-lego-console.png | bin | 0 -> 6853 bytes | |||
-rw-r--r-- | html/images/pg-lego-screenshot.png | bin | 0 -> 32219 bytes | |||
-rw-r--r-- | html/images/pg-lego-thumb.png | bin | 0 -> 10979 bytes | |||
-rw-r--r-- | html/main.phtml | 4 |
10 files changed, 4 insertions, 4 deletions
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 Binary files differnew file mode 100644 index 00000000..e903e4e3 --- /dev/null +++ b/html/images/pg-isa-screenshot.png diff --git a/html/images/pg-isa-thumb.png b/html/images/pg-isa-thumb.png Binary files differnew file mode 100644 index 00000000..d0db67cc --- /dev/null +++ b/html/images/pg-isa-thumb.png diff --git a/html/images/pg-isar-screenshot.png b/html/images/pg-isar-screenshot.png Binary files differindex 42418b8a..6ea369de 100644 --- a/html/images/pg-isar-screenshot.png +++ b/html/images/pg-isar-screenshot.png diff --git a/html/images/pg-isar-thumb.png b/html/images/pg-isar-thumb.png Binary files differnew file mode 100644 index 00000000..bc558d56 --- /dev/null +++ b/html/images/pg-isar-thumb.png diff --git a/html/images/pg-lego-console-thumb.png b/html/images/pg-lego-console-thumb.png Binary files differnew file mode 100644 index 00000000..a82c0cf1 --- /dev/null +++ b/html/images/pg-lego-console-thumb.png diff --git a/html/images/pg-lego-console.png b/html/images/pg-lego-console.png Binary files differnew file mode 100644 index 00000000..653f0ac4 --- /dev/null +++ b/html/images/pg-lego-console.png diff --git a/html/images/pg-lego-screenshot.png b/html/images/pg-lego-screenshot.png Binary files differnew file mode 100644 index 00000000..e8c6b749 --- /dev/null +++ b/html/images/pg-lego-screenshot.png diff --git a/html/images/pg-lego-thumb.png b/html/images/pg-lego-thumb.png Binary files differnew file mode 100644 index 00000000..6f650baa --- /dev/null +++ b/html/images/pg-lego-thumb.png 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> |