1.1 --- a/src/Pure/build-jars	Mon Jan 11 22:44:21 2010 +0100
     1.2 +++ b/src/Pure/build-jars	Mon Jan 11 23:00:05 2010 +0100
     1.3 @@ -45,10 +45,16 @@
     1.4    System/isabelle_syntax.scala
     1.5    System/isabelle_system.scala
     1.6    System/platform.scala
     1.7 +  System/session.scala
     1.8    System/session_manager.scala
     1.9    System/standard_system.scala
    1.10 +  Thy/change.scala
    1.11 +  Thy/command.scala
    1.12    Thy/completion.scala
    1.13 +  Thy/document.scala
    1.14    Thy/html.scala
    1.15 +  Thy/markup_node.scala
    1.16 +  Thy/state.scala
    1.17    Thy/text_edit.scala
    1.18    Thy/thy_header.scala
    1.19    Thy/thy_syntax.scala