src/Pure/build-jars
changeset 38483 3d16bebee1d3
parent 38479 e628da370072
child 38567 b670faa807c9
     1.1 --- a/src/Pure/build-jars	Thu Aug 19 12:41:40 2010 +0200
     1.2 +++ b/src/Pure/build-jars	Thu Aug 19 12:51:48 2010 +0200
     1.3 @@ -41,6 +41,7 @@
     1.4    Isar/token.scala
     1.5    PIDE/command.scala
     1.6    PIDE/document.scala
     1.7 +  PIDE/isar_document.scala
     1.8    PIDE/markup_tree.scala
     1.9    PIDE/text.scala
    1.10    System/cygwin.scala
    1.11 @@ -50,7 +51,6 @@
    1.12    System/isabelle_process.scala
    1.13    System/isabelle_syntax.scala
    1.14    System/isabelle_system.scala
    1.15 -  System/isar_document.scala
    1.16    System/platform.scala
    1.17    System/session.scala
    1.18    System/session_manager.scala