Deleted file

32 files changed, 0 insertions, 1 deletions

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
--- a/html/images/IsaPGscreen.jpg
+++ /dev/null
diff --git a/html/images/PG-small.jpg b/html/images/PG-small.jpg
deleted file mode 100644
index 50bb9cf6..00000000
--- a/html/images/PG-small.jpg
+++ /dev/null
diff --git a/html/images/ProofGeneral.jpg b/html/images/ProofGeneral.jpg
deleted file mode 100644
index d2c430cd..00000000
--- a/html/images/ProofGeneral.jpg
+++ /dev/null
diff --git a/html/images/bullethole.gif b/html/images/bullethole.gif
deleted file mode 100644
index 1eb03072..00000000
--- a/html/images/bullethole.gif
+++ /dev/null
diff --git a/html/images/canvaswallpaper.jpg b/html/images/canvaswallpaper.jpg
deleted file mode 100644
index 8062bd4e..00000000
--- a/html/images/canvaswallpaper.jpg
+++ /dev/null
diff --git a/html/images/coq-badge.gif b/html/images/coq-badge.gif
deleted file mode 100644
index 901e7645..00000000
--- a/html/images/coq-badge.gif
+++ /dev/null
diff --git a/html/images/coqlogo4.gif b/html/images/coqlogo4.gif
deleted file mode 100644
index 5899de81..00000000
--- a/html/images/coqlogo4.gif
+++ /dev/null
diff --git a/html/images/coqlogo4.xcf b/html/images/coqlogo4.xcf
deleted file mode 100644
index 21cd46cb..00000000
--- a/html/images/coqlogo4.xcf
+++ /dev/null
diff --git a/html/images/isabelle-badge.gif b/html/images/isabelle-badge.gif
deleted file mode 100644
index 8da95453..00000000
--- a/html/images/isabelle-badge.gif
+++ /dev/null
diff --git a/html/images/isabelle.gif b/html/images/isabelle.gif
deleted file mode 100644
index 171b2101..00000000
--- a/html/images/isabelle.gif
+++ /dev/null
diff --git a/html/images/lego-badge.gif b/html/images/lego-badge.gif
deleted file mode 100644
index 182ad85f..00000000
--- a/html/images/lego-badge.gif
+++ /dev/null
diff --git a/html/images/pg-coq-screenshot.png b/html/images/pg-coq-screenshot.png
deleted file mode 100644
index eb071514..00000000
--- a/html/images/pg-coq-screenshot.png
+++ /dev/null
diff --git a/html/images/pg-coq-thumb.png b/html/images/pg-coq-thumb.png
deleted file mode 100644
index 1510b502..00000000
--- a/html/images/pg-coq-thumb.png
+++ /dev/null
diff --git a/html/images/pg-isa-screenshot.png b/html/images/pg-isa-screenshot.png
deleted file mode 100644
index e903e4e3..00000000
--- a/html/images/pg-isa-screenshot.png
+++ /dev/null
diff --git a/html/images/pg-isa-thumb.png b/html/images/pg-isa-thumb.png
deleted file mode 100644
index d0db67cc..00000000
--- a/html/images/pg-isa-thumb.png
+++ /dev/null
diff --git a/html/images/pg-isar-screenshot.png b/html/images/pg-isar-screenshot.png
deleted file mode 100644
index 6ea369de..00000000
--- a/html/images/pg-isar-screenshot.png
+++ /dev/null
diff --git a/html/images/pg-isar-thumb.png b/html/images/pg-isar-thumb.png
deleted file mode 100644
index bc558d56..00000000
--- a/html/images/pg-isar-thumb.png
+++ /dev/null
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
--- a/html/images/pg-lego-console-thumb.png
+++ /dev/null
diff --git a/html/images/pg-lego-console.png b/html/images/pg-lego-console.png
deleted file mode 100644
index 0e7c22a3..00000000
--- a/html/images/pg-lego-console.png
+++ /dev/null
diff --git a/html/images/pg-lego-screenshot.png b/html/images/pg-lego-screenshot.png
deleted file mode 100644
index e8c6b749..00000000
--- a/html/images/pg-lego-screenshot.png
+++ /dev/null
diff --git a/html/images/pg-lego-thumb.png b/html/images/pg-lego-thumb.png
deleted file mode 100644
index 6f650baa..00000000
--- a/html/images/pg-lego-thumb.png
+++ /dev/null
diff --git a/html/images/pg-text.gif b/html/images/pg-text.gif
deleted file mode 100644
index cf592478..00000000
--- a/html/images/pg-text.gif
+++ /dev/null
diff --git a/html/images/phox-einstein.jpg b/html/images/phox-einstein.jpg
deleted file mode 100644
index 97af4ee3..00000000
--- a/html/images/phox-einstein.jpg
+++ /dev/null
diff --git a/html/images/portrait-thumb.jpg b/html/images/portrait-thumb.jpg
deleted file mode 100644
index d84d27b4..00000000
--- a/html/images/portrait-thumb.jpg
+++ /dev/null
diff --git a/html/images/portrait.jpg b/html/images/portrait.jpg
deleted file mode 100644
index a23f0f16..00000000
--- a/html/images/portrait.jpg
+++ /dev/null
diff --git a/html/images/silverrule.gif b/html/images/silverrule.gif
deleted file mode 100644
index 3ad7fbda..00000000
--- a/html/images/silverrule.gif
+++ /dev/null
diff --git a/html/images/vh40.gif b/html/images/vh40.gif
deleted file mode 100644
index c5e9402e..00000000
--- a/html/images/vh40.gif
+++ /dev/null
diff --git a/html/images/whip-thumb.jpg b/html/images/whip-thumb.jpg
deleted file mode 100644
index 16aac5b4..00000000
--- a/html/images/whip-thumb.jpg
+++ /dev/null
diff --git a/html/images/whip.jpg b/html/images/whip.jpg
deleted file mode 100644
index 1a6341b6..00000000
--- a/html/images/whip.jpg
+++ /dev/null
diff --git a/html/images/whole-man-thumb.jpg b/html/images/whole-man-thumb.jpg
deleted file mode 100644
index 32175a27..00000000
--- a/html/images/whole-man-thumb.jpg
+++ /dev/null
diff --git a/html/images/whole-man.jpg b/html/images/whole-man.jpg
deleted file mode 100644
index f3fff341..00000000
--- a/html/images/whole-man.jpg
+++ /dev/null