src/Pure/IsaMakefile

 SCALA_FILES = General/event_bus.scala General/markup.scala		\
   General/position.scala General/scan.scala General/swing.scala		\
   General/symbol.scala General/xml.scala General/yxml.scala		\
   Isar/isar.scala Isar/isar_document.scala Isar/outer_keyword.scala	\
   System/cygwin.scala System/isabelle_process.scala			\
-  System/isabelle_system.scala Thy/thy_header.scala			\
-  Tools/isabelle_syntax.scala
+  System/isabelle_system.scala Thy/completion.scala			\
+  Thy/thy_header.scala Tools/isabelle_syntax.scala
 
 
 SCALA_TARGET = $(ISABELLE_HOME)/lib/classes/Pure.jar
 
 jar: $(SCALA_TARGET)