diff -r 001f2f44984c -r c23f3abbf42d src/Pure/build-jars
--- a/src/Pure/build-jars	Sat Aug 14 13:24:06 2010 +0200
+++ b/src/Pure/build-jars	Sat Aug 14 18:43:45 2010 +0200
@@ -33,7 +33,6 @@
   General/xml.scala
   General/xml_data.scala
   General/yxml.scala
-  Isar/isar_document.scala
   Isar/keyword.scala
   Isar/outer_syntax.scala
   Isar/parse.scala
@@ -49,6 +48,7 @@
   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