src/Pure/build-jars
changeset 45666 d83797ef0d2d
parent 45027 f459e93a038e
child 45670 b84170538043
     1.1 --- a/src/Pure/build-jars	Mon Nov 28 20:39:08 2011 +0100
     1.2 +++ b/src/Pure/build-jars	Mon Nov 28 22:05:32 2011 +0100
     1.3 @@ -14,7 +14,7 @@
     1.4    Concurrent/simple_thread.scala
     1.5    Concurrent/volatile.scala
     1.6    General/exn.scala
     1.7 -  General/timing.scala
     1.8 +  General/isabelle_markup.scala
     1.9    General/linear_set.scala
    1.10    General/markup.scala
    1.11    General/path.scala
    1.12 @@ -24,6 +24,7 @@
    1.13    General/scan.scala
    1.14    General/sha1.scala
    1.15    General/symbol.scala
    1.16 +  General/timing.scala
    1.17    Isar/keyword.scala
    1.18    Isar/outer_syntax.scala
    1.19    Isar/parse.scala