From ade08e623bd50a8206bd958030d4d44900e0141d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 24 Jun 1999 13:57:23 +0000
Subject: New images

---
 html/images/IsaPGscreen.jpg     | Bin 0 -> 50670 bytes
 html/images/ProofGeneral.jpg    | Bin 0 -> 12002 bytes
 html/images/bullethole.gif      | Bin 0 -> 1019 bytes
 html/images/canvaswallpaper.jpg | Bin 0 -> 3354 bytes
 html/images/coq-badge.gif       | Bin 0 -> 3174 bytes
 html/images/isabelle-badge.gif  | Bin 0 -> 4674 bytes
 html/images/lego-badge.gif      | Bin 0 -> 3925 bytes
 html/images/pg-text.gif         | Bin 0 -> 13428 bytes
 html/images/vh40.gif            | Bin 0 -> 906 bytes
 9 files changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 html/images/IsaPGscreen.jpg
 create mode 100644 html/images/ProofGeneral.jpg
 create mode 100644 html/images/bullethole.gif
 create mode 100644 html/images/canvaswallpaper.jpg
 create mode 100644 html/images/coq-badge.gif
 create mode 100644 html/images/isabelle-badge.gif
 create mode 100644 html/images/lego-badge.gif
 create mode 100644 html/images/pg-text.gif
 create mode 100644 html/images/vh40.gif

diff --git a/html/images/IsaPGscreen.jpg b/html/images/IsaPGscreen.jpg
new file mode 100644
index 00000000..5e2dda74
Binary files /dev/null and b/html/images/IsaPGscreen.jpg differ
diff --git a/html/images/ProofGeneral.jpg b/html/images/ProofGeneral.jpg
new file mode 100644
index 00000000..6d5bfbfe
Binary files /dev/null and b/html/images/ProofGeneral.jpg differ
diff --git a/html/images/bullethole.gif b/html/images/bullethole.gif
new file mode 100644
index 00000000..c4447471
Binary files /dev/null and b/html/images/bullethole.gif differ
diff --git a/html/images/canvaswallpaper.jpg b/html/images/canvaswallpaper.jpg
new file mode 100644
index 00000000..14e28f41
Binary files /dev/null and b/html/images/canvaswallpaper.jpg differ
diff --git a/html/images/coq-badge.gif b/html/images/coq-badge.gif
new file mode 100644
index 00000000..901e7645
Binary files /dev/null and b/html/images/coq-badge.gif differ
diff --git a/html/images/isabelle-badge.gif b/html/images/isabelle-badge.gif
new file mode 100644
index 00000000..8da95453
Binary files /dev/null and b/html/images/isabelle-badge.gif differ
diff --git a/html/images/lego-badge.gif b/html/images/lego-badge.gif
new file mode 100644
index 00000000..182ad85f
Binary files /dev/null and b/html/images/lego-badge.gif differ
diff --git a/html/images/pg-text.gif b/html/images/pg-text.gif
new file mode 100644
index 00000000..046fe760
Binary files /dev/null and b/html/images/pg-text.gif differ
diff --git a/html/images/vh40.gif b/html/images/vh40.gif
new file mode 100644
index 00000000..c5e9402e
Binary files /dev/null and b/html/images/vh40.gif differ
-- 
cgit v1.2.3