From 5a135c2193fef3dfbb023d05c56deef77be35847 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 1 Oct 1999 11:18:37 +0000
Subject: Added interrupt button.

---
 images/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'images/Makefile')

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
-- 
cgit v1.2.3