diff options
| author | David Aspinall | 1999-10-01 11:18:37 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-01 11:18:37 +0000 |
| commit | 5a135c2193fef3dfbb023d05c56deef77be35847 (patch) | |
| tree | 91b0de4c9261c575ba8b27ecf8f5d9c71471f75f /images/Makefile | |
| parent | ac70c9a82d5cc364c414c4e3d3299cf09d1d3670 (diff) | |
Added interrupt button.
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 4e6ae5e7..5dce4a91 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 +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 WEBPIX=isabelle_transparent.xcf ProofGeneral.xcf pg-text.xcf # Targets for html directory |