From 768ae4b0f832534440d58b87b42962b6f5a7de3a Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 29 Aug 2002 12:08:08 +0000 Subject: Deleted files. --- images/isabelle_transparent.8bit.gif | Bin 7407 -> 0 bytes images/isabelle_transparent.gif | Bin 9365 -> 0 bytes images/isabelle_transparent.xcf | Bin 37982 -> 0 bytes 3 files changed, 0 insertions(+), 0 deletions(-) delete mode 100644 images/isabelle_transparent.8bit.gif delete mode 100644 images/isabelle_transparent.gif delete mode 100644 images/isabelle_transparent.xcf (limited to 'images') diff --git a/images/isabelle_transparent.8bit.gif b/images/isabelle_transparent.8bit.gif deleted file mode 100644 index 8c07669e..00000000 Binary files a/images/isabelle_transparent.8bit.gif and /dev/null differ diff --git a/images/isabelle_transparent.gif b/images/isabelle_transparent.gif deleted file mode 100644 index f541024f..00000000 Binary files a/images/isabelle_transparent.gif and /dev/null differ diff --git a/images/isabelle_transparent.xcf b/images/isabelle_transparent.xcf deleted file mode 100644 index 9c44a694..00000000 Binary files a/images/isabelle_transparent.xcf and /dev/null differ -- cgit v1.2.3