From f7e819c7b8f8d09b59bd0f5bb8ed26fec58aaec9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 23 Sep 2000 16:49:59 +0000
Subject: Add prover-specific logo rather than generic ones...

---
 html/images/coqlogo4.gif | Bin 0 -> 1621 bytes
 html/images/coqlogo4.xcf | Bin 0 -> 3840 bytes
 html/images/isabelle.gif | Bin 0 -> 2477 bytes
 3 files changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 html/images/coqlogo4.gif
 create mode 100644 html/images/coqlogo4.xcf
 create mode 100644 html/images/isabelle.gif

(limited to 'html')

diff --git a/html/images/coqlogo4.gif b/html/images/coqlogo4.gif
new file mode 100644
index 00000000..5899de81
Binary files /dev/null and b/html/images/coqlogo4.gif differ
diff --git a/html/images/coqlogo4.xcf b/html/images/coqlogo4.xcf
new file mode 100644
index 00000000..21cd46cb
Binary files /dev/null and b/html/images/coqlogo4.xcf differ
diff --git a/html/images/isabelle.gif b/html/images/isabelle.gif
new file mode 100644
index 00000000..171b2101
Binary files /dev/null and b/html/images/isabelle.gif differ
-- 
cgit v1.2.3