src/Pure/IsaMakefile
changeset 29202 2454172eddae
parent 29190 89217ccfd130
child 29252 ea97aa6aeba2
--- a/src/Pure/IsaMakefile	Mon Dec 29 18:30:05 2008 +0100
+++ b/src/Pure/IsaMakefile	Mon Dec 29 20:06:31 2008 +0100
@@ -121,11 +121,11 @@
 
 ## Scala material
 
-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_FILES = General/event_bus.scala General/markup.scala		\
+  General/position.scala General/swing.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