From 34af532898c24af95c8f9a78bada8a79d5b05d51 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 29 Oct 1998 16:24:29 +0000 Subject: Added plain isabelle image --- images/Makefile | 2 +- images/isabelle_transparent.8bit.gif | Bin 0 -> 7407 bytes images/isabelle_transparent.gif | Bin 0 -> 9365 bytes images/isabelle_transparent.xcf | Bin 0 -> 37982 bytes 4 files changed, 1 insertion(+), 1 deletion(-) create mode 100644 images/isabelle_transparent.8bit.gif create mode 100644 images/isabelle_transparent.gif create mode 100644 images/isabelle_transparent.xcf (limited to 'images') diff --git a/images/Makefile b/images/Makefile index 4fa2b87d..62e5943a 100644 --- a/images/Makefile +++ b/images/Makefile @@ -20,7 +20,7 @@ # Sources BUTTONS=goal.xcf next.xcf qed.xcf restart.xcf retract.xcf undo.xcf use.xcf -WEBPIX=ProofGeneral.xcf text_general.xcf text_proof.xcf +WEBPIX=isabelle_transparent.xcf ProofGeneral.xcf text_general.xcf text_proof.xcf # Targets for html directory WEBPIX_ONLY= diff --git a/images/isabelle_transparent.8bit.gif b/images/isabelle_transparent.8bit.gif new file mode 100644 index 00000000..8c07669e Binary files /dev/null and b/images/isabelle_transparent.8bit.gif differ diff --git a/images/isabelle_transparent.gif b/images/isabelle_transparent.gif new file mode 100644 index 00000000..f541024f Binary files /dev/null and b/images/isabelle_transparent.gif differ diff --git a/images/isabelle_transparent.xcf b/images/isabelle_transparent.xcf new file mode 100644 index 00000000..9c44a694 Binary files /dev/null and b/images/isabelle_transparent.xcf differ -- cgit v1.2.3