32 files changed, 1 insertions, 0 deletions

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