From b9caaa8e4b66817dbc66d0e79b567b3285869fea Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 7 Feb 2004 19:31:13 +0000 Subject: Deleted file --- html/images/.cvsignore | 1 - html/images/IsaPGscreen.jpg | Bin 50670 -> 0 bytes html/images/PG-small.jpg | Bin 1902 -> 0 bytes html/images/ProofGeneral.jpg | Bin 16123 -> 0 bytes html/images/bullethole.gif | Bin 928 -> 0 bytes html/images/canvaswallpaper.jpg | Bin 3546 -> 0 bytes html/images/coq-badge.gif | Bin 3174 -> 0 bytes html/images/coqlogo4.gif | Bin 1621 -> 0 bytes html/images/coqlogo4.xcf | Bin 3840 -> 0 bytes html/images/isabelle-badge.gif | Bin 4674 -> 0 bytes html/images/isabelle.gif | Bin 2477 -> 0 bytes html/images/lego-badge.gif | Bin 3925 -> 0 bytes html/images/pg-coq-screenshot.png | Bin 138364 -> 0 bytes html/images/pg-coq-thumb.png | Bin 22324 -> 0 bytes html/images/pg-isa-screenshot.png | Bin 46767 -> 0 bytes html/images/pg-isa-thumb.png | Bin 16726 -> 0 bytes html/images/pg-isar-screenshot.png | Bin 50400 -> 0 bytes html/images/pg-isar-thumb.png | Bin 20072 -> 0 bytes html/images/pg-lego-console-thumb.png | Bin 5648 -> 0 bytes html/images/pg-lego-console.png | Bin 5992 -> 0 bytes html/images/pg-lego-screenshot.png | Bin 32219 -> 0 bytes html/images/pg-lego-thumb.png | Bin 10979 -> 0 bytes html/images/pg-text.gif | Bin 7918 -> 0 bytes html/images/phox-einstein.jpg | Bin 2190 -> 0 bytes html/images/portrait-thumb.jpg | Bin 6220 -> 0 bytes html/images/portrait.jpg | Bin 84799 -> 0 bytes html/images/silverrule.gif | Bin 4612 -> 0 bytes html/images/vh40.gif | Bin 906 -> 0 bytes html/images/whip-thumb.jpg | Bin 5270 -> 0 bytes html/images/whip.jpg | Bin 67684 -> 0 bytes html/images/whole-man-thumb.jpg | Bin 5714 -> 0 bytes html/images/whole-man.jpg | Bin 63335 -> 0 bytes 32 files changed, 1 deletion(-) delete mode 100644 html/images/.cvsignore delete mode 100644 html/images/IsaPGscreen.jpg delete mode 100644 html/images/PG-small.jpg delete mode 100644 html/images/ProofGeneral.jpg delete mode 100644 html/images/bullethole.gif delete mode 100644 html/images/canvaswallpaper.jpg delete mode 100644 html/images/coq-badge.gif delete mode 100644 html/images/coqlogo4.gif delete mode 100644 html/images/coqlogo4.xcf delete mode 100644 html/images/isabelle-badge.gif delete mode 100644 html/images/isabelle.gif delete mode 100644 html/images/lego-badge.gif delete mode 100644 html/images/pg-coq-screenshot.png delete mode 100644 html/images/pg-coq-thumb.png delete mode 100644 html/images/pg-isa-screenshot.png delete mode 100644 html/images/pg-isa-thumb.png delete mode 100644 html/images/pg-isar-screenshot.png delete mode 100644 html/images/pg-isar-thumb.png delete mode 100644 html/images/pg-lego-console-thumb.png delete mode 100644 html/images/pg-lego-console.png delete mode 100644 html/images/pg-lego-screenshot.png delete mode 100644 html/images/pg-lego-thumb.png delete mode 100644 html/images/pg-text.gif delete mode 100644 html/images/phox-einstein.jpg delete mode 100644 html/images/portrait-thumb.jpg delete mode 100644 html/images/portrait.jpg delete mode 100644 html/images/silverrule.gif delete mode 100644 html/images/vh40.gif delete mode 100644 html/images/whip-thumb.jpg delete mode 100644 html/images/whip.jpg delete mode 100644 html/images/whole-man-thumb.jpg delete mode 100644 html/images/whole-man.jpg (limited to 'html/images') diff --git a/html/images/.cvsignore b/html/images/.cvsignore deleted file mode 100644 index 5c165d91..00000000 --- a/html/images/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -.xvpics diff --git a/html/images/IsaPGscreen.jpg b/html/images/IsaPGscreen.jpg deleted file mode 100644 index 5e2dda74..00000000 Binary files a/html/images/IsaPGscreen.jpg and /dev/null differ diff --git a/html/images/PG-small.jpg b/html/images/PG-small.jpg deleted file mode 100644 index 50bb9cf6..00000000 Binary files a/html/images/PG-small.jpg and /dev/null differ diff --git a/html/images/ProofGeneral.jpg b/html/images/ProofGeneral.jpg deleted file mode 100644 index d2c430cd..00000000 Binary files a/html/images/ProofGeneral.jpg and /dev/null differ diff --git a/html/images/bullethole.gif b/html/images/bullethole.gif deleted file mode 100644 index 1eb03072..00000000 Binary files a/html/images/bullethole.gif and /dev/null differ diff --git a/html/images/canvaswallpaper.jpg b/html/images/canvaswallpaper.jpg deleted file mode 100644 index 8062bd4e..00000000 Binary files a/html/images/canvaswallpaper.jpg and /dev/null differ diff --git a/html/images/coq-badge.gif b/html/images/coq-badge.gif deleted file mode 100644 index 901e7645..00000000 Binary files a/html/images/coq-badge.gif and /dev/null differ diff --git a/html/images/coqlogo4.gif b/html/images/coqlogo4.gif deleted file mode 100644 index 5899de81..00000000 Binary files a/html/images/coqlogo4.gif and /dev/null differ diff --git a/html/images/coqlogo4.xcf b/html/images/coqlogo4.xcf deleted file mode 100644 index 21cd46cb..00000000 Binary files a/html/images/coqlogo4.xcf and /dev/null differ diff --git a/html/images/isabelle-badge.gif b/html/images/isabelle-badge.gif deleted file mode 100644 index 8da95453..00000000 Binary files a/html/images/isabelle-badge.gif and /dev/null differ diff --git a/html/images/isabelle.gif b/html/images/isabelle.gif deleted file mode 100644 index 171b2101..00000000 Binary files a/html/images/isabelle.gif and /dev/null differ diff --git a/html/images/lego-badge.gif b/html/images/lego-badge.gif deleted file mode 100644 index 182ad85f..00000000 Binary files a/html/images/lego-badge.gif and /dev/null differ diff --git a/html/images/pg-coq-screenshot.png b/html/images/pg-coq-screenshot.png deleted file mode 100644 index eb071514..00000000 Binary files a/html/images/pg-coq-screenshot.png and /dev/null differ diff --git a/html/images/pg-coq-thumb.png b/html/images/pg-coq-thumb.png deleted file mode 100644 index 1510b502..00000000 Binary files a/html/images/pg-coq-thumb.png and /dev/null differ diff --git a/html/images/pg-isa-screenshot.png b/html/images/pg-isa-screenshot.png deleted file mode 100644 index e903e4e3..00000000 Binary files a/html/images/pg-isa-screenshot.png and /dev/null differ diff --git a/html/images/pg-isa-thumb.png b/html/images/pg-isa-thumb.png deleted file mode 100644 index d0db67cc..00000000 Binary files a/html/images/pg-isa-thumb.png and /dev/null differ diff --git a/html/images/pg-isar-screenshot.png b/html/images/pg-isar-screenshot.png deleted file mode 100644 index 6ea369de..00000000 Binary files a/html/images/pg-isar-screenshot.png and /dev/null differ diff --git a/html/images/pg-isar-thumb.png b/html/images/pg-isar-thumb.png deleted file mode 100644 index bc558d56..00000000 Binary files a/html/images/pg-isar-thumb.png and /dev/null differ diff --git a/html/images/pg-lego-console-thumb.png b/html/images/pg-lego-console-thumb.png deleted file mode 100644 index 0a44450a..00000000 Binary files a/html/images/pg-lego-console-thumb.png and /dev/null differ diff --git a/html/images/pg-lego-console.png b/html/images/pg-lego-console.png deleted file mode 100644 index 0e7c22a3..00000000 Binary files a/html/images/pg-lego-console.png and /dev/null differ diff --git a/html/images/pg-lego-screenshot.png b/html/images/pg-lego-screenshot.png deleted file mode 100644 index e8c6b749..00000000 Binary files a/html/images/pg-lego-screenshot.png and /dev/null differ diff --git a/html/images/pg-lego-thumb.png b/html/images/pg-lego-thumb.png deleted file mode 100644 index 6f650baa..00000000 Binary files a/html/images/pg-lego-thumb.png and /dev/null differ diff --git a/html/images/pg-text.gif b/html/images/pg-text.gif deleted file mode 100644 index cf592478..00000000 Binary files a/html/images/pg-text.gif and /dev/null differ diff --git a/html/images/phox-einstein.jpg b/html/images/phox-einstein.jpg deleted file mode 100644 index 97af4ee3..00000000 Binary files a/html/images/phox-einstein.jpg and /dev/null differ diff --git a/html/images/portrait-thumb.jpg b/html/images/portrait-thumb.jpg deleted file mode 100644 index d84d27b4..00000000 Binary files a/html/images/portrait-thumb.jpg and /dev/null differ diff --git a/html/images/portrait.jpg b/html/images/portrait.jpg deleted file mode 100644 index a23f0f16..00000000 Binary files a/html/images/portrait.jpg and /dev/null differ diff --git a/html/images/silverrule.gif b/html/images/silverrule.gif deleted file mode 100644 index 3ad7fbda..00000000 Binary files a/html/images/silverrule.gif and /dev/null differ diff --git a/html/images/vh40.gif b/html/images/vh40.gif deleted file mode 100644 index c5e9402e..00000000 Binary files a/html/images/vh40.gif and /dev/null differ diff --git a/html/images/whip-thumb.jpg b/html/images/whip-thumb.jpg deleted file mode 100644 index 16aac5b4..00000000 Binary files a/html/images/whip-thumb.jpg and /dev/null differ diff --git a/html/images/whip.jpg b/html/images/whip.jpg deleted file mode 100644 index 1a6341b6..00000000 Binary files a/html/images/whip.jpg and /dev/null differ diff --git a/html/images/whole-man-thumb.jpg b/html/images/whole-man-thumb.jpg deleted file mode 100644 index 32175a27..00000000 Binary files a/html/images/whole-man-thumb.jpg and /dev/null differ diff --git a/html/images/whole-man.jpg b/html/images/whole-man.jpg deleted file mode 100644 index f3fff341..00000000 Binary files a/html/images/whole-man.jpg and /dev/null differ -- cgit v1.2.3