src/Pure/build-jars

--- a/src/Pure/build-jars	Mon Jan 11 22:44:21 2010 +0100
+++ b/src/Pure/build-jars	Mon Jan 11 23:00:05 2010 +0100
@@ -45,10 +45,16 @@
   System/isabelle_syntax.scala
   System/isabelle_system.scala
   System/platform.scala
+  System/session.scala
   System/session_manager.scala
   System/standard_system.scala
+  Thy/change.scala
+  Thy/command.scala
   Thy/completion.scala
+  Thy/document.scala
   Thy/html.scala
+  Thy/markup_node.scala
+  Thy/state.scala
   Thy/text_edit.scala
   Thy/thy_header.scala
   Thy/thy_syntax.scala