diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-10-29 16:24:29 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-29 16:24:29 +0000 |
commit | 34af532898c24af95c8f9a78bada8a79d5b05d51 (patch) | |
tree | f7b88e522ee9360f4fa0c74d3a9055cb7e6a3a90 /images | |
parent | b2b3ad32cbd179bc5cb19093f6e4e73131753adc (diff) |
Added plain isabelle image
Diffstat (limited to 'images')
-rw-r--r-- | images/Makefile | 2 | ||||
-rw-r--r-- | images/isabelle_transparent.8bit.gif | bin | 0 -> 7407 bytes | |||
-rw-r--r-- | images/isabelle_transparent.gif | bin | 0 -> 9365 bytes | |||
-rw-r--r-- | images/isabelle_transparent.xcf | bin | 0 -> 37982 bytes |
4 files changed, 1 insertions, 1 deletions
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 Binary files differnew file mode 100644 index 00000000..8c07669e --- /dev/null +++ b/images/isabelle_transparent.8bit.gif diff --git a/images/isabelle_transparent.gif b/images/isabelle_transparent.gif Binary files differnew file mode 100644 index 00000000..f541024f --- /dev/null +++ b/images/isabelle_transparent.gif diff --git a/images/isabelle_transparent.xcf b/images/isabelle_transparent.xcf Binary files differnew file mode 100644 index 00000000..9c44a694 --- /dev/null +++ b/images/isabelle_transparent.xcf |