src/Pure/build-jars
changeset 45670 b84170538043
parent 45666 d83797ef0d2d
child 45672 a497c5d4a523
     1.1 --- a/src/Pure/build-jars	Tue Nov 29 06:09:41 2011 +0100
     1.2 +++ b/src/Pure/build-jars	Tue Nov 29 19:49:36 2011 +0100
     1.3 @@ -14,9 +14,7 @@
     1.4    Concurrent/simple_thread.scala
     1.5    Concurrent/volatile.scala
     1.6    General/exn.scala
     1.7 -  General/isabelle_markup.scala
     1.8    General/linear_set.scala
     1.9 -  General/markup.scala
    1.10    General/path.scala
    1.11    General/position.scala
    1.12    General/pretty.scala
    1.13 @@ -32,7 +30,9 @@
    1.14    PIDE/blob.scala
    1.15    PIDE/command.scala
    1.16    PIDE/document.scala
    1.17 +  PIDE/isabelle_markup.scala
    1.18    PIDE/isar_document.scala
    1.19 +  PIDE/markup.scala
    1.20    PIDE/markup_tree.scala
    1.21    PIDE/text.scala
    1.22    PIDE/xml.scala