src/Pure/build-jars

--- a/src/Pure/build-jars	Thu Aug 29 15:24:36 2013 +0200
+++ b/src/Pure/build-jars	Thu Aug 29 15:29:24 2013 +0200
@@ -29,6 +29,7 @@
   General/time.scala
   General/timing.scala
   General/xz_file.scala
+  Isar/completion.scala
   Isar/keyword.scala
   Isar/outer_syntax.scala
   Isar/parse.scala
@@ -64,7 +65,6 @@
   System/swing_thread.scala
   System/system_channel.scala
   System/utf8.scala
-  Thy/completion.scala
   Thy/html.scala
   Thy/present.scala
   Thy/thy_header.scala