--- a/src/Pure/build-jars	Fri Feb 22 20:25:51 2013 +0100
+++ b/src/Pure/build-jars	Sat Feb 23 11:27:45 2013 +0100
@@ -44,6 +44,7 @@
   System/event_bus.scala
   System/gui_setup.scala
   System/html5_panel.scala
+  System/interrupt.scala
   System/invoke_scala.scala
   System/isabelle_charset.scala
   System/isabelle_process.scala
changeset 51250	ca13a14cc52e
parent 51098	22d5c010ef5c
child 51504	18095684c5a6