diff options
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 |
