src/Pure/build-jars

--- a/src/Pure/build-jars	Thu Aug 19 12:41:40 2010 +0200
+++ b/src/Pure/build-jars	Thu Aug 19 12:51:48 2010 +0200
@@ -41,6 +41,7 @@
   Isar/token.scala
   PIDE/command.scala
   PIDE/document.scala
+  PIDE/isar_document.scala
   PIDE/markup_tree.scala
   PIDE/text.scala
   System/cygwin.scala
@@ -50,7 +51,6 @@
   System/isabelle_process.scala
   System/isabelle_syntax.scala
   System/isabelle_system.scala
-  System/isar_document.scala
   System/platform.scala
   System/session.scala
   System/session_manager.scala