diff options
author | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2000-09-20 07:10:12 +0000 |
---|---|---|
committer | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2000-09-20 07:10:12 +0000 |
commit | 0c2e2680b2327e4c495d405a2a1e7b058bc1921b (patch) | |
tree | e5ea66c17f04b3b6e3566632a5fd013676f794b1 /images | |
parent | 31bb6bee15dae9940a4ed1ff19469adfbcd74f3c (diff) |
added abort button
Diffstat (limited to 'images')
-rw-r--r-- | images/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/images/Makefile b/images/Makefile index 82aa2b04..070537d6 100644 --- a/images/Makefile +++ b/images/Makefile @@ -19,7 +19,7 @@ ########################################################################### # Sources -BUTTONS=goal.xcf next.xcf qed.xcf restart.xcf retract.xcf undo.xcf use.xcf state.xcf context.xcf info.xcf command.xcf help.xcf find.xcf interrupt.xcf goto.xcf +BUTTONS=goal.xcf next.xcf qed.xcf restart.xcf retract.xcf undo.xcf use.xcf state.xcf context.xcf info.xcf command.xcf help.xcf find.xcf interrupt.xcf goto.xcf abort.xcf WEBPIX=isabelle_transparent.xcf ProofGeneral.xcf pg-text.xcf # Targets for html directory |