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/Makefile | |
| parent | b2b3ad32cbd179bc5cb19093f6e4e73131753adc (diff) | |
Added plain isabelle image
Diffstat (limited to 'images/Makefile')
| -rw-r--r-- | images/Makefile | 2 |
1 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= |