--- a/src/Pure/IsaMakefile Sun Dec 28 14:41:47 2008 -0800
+++ b/src/Pure/IsaMakefile Mon Dec 29 13:57:37 2008 +0100
@@ -121,10 +121,11 @@
## Scala material
-SCALA_FILES = General/markup.scala General/position.scala \
- General/symbol.scala General/xml.scala General/yxml.scala \
- Isar/isar.scala Thy/thy_header.scala Tools/isabelle_process.scala \
- Tools/isabelle_syntax.scala Tools/isabelle_system.scala
+SCALA_FILES = General/event_bus.scala General/markup.scala \
+ General/position.scala General/symbol.scala General/xml.scala \
+ General/yxml.scala Isar/isar.scala Thy/thy_header.scala \
+ Tools/isabelle_process.scala Tools/isabelle_syntax.scala \
+ Tools/isabelle_system.scala
SCALA_TARGET = $(ISABELLE_HOME)/lib/classes/Pure.jar