src/Pure/build-jars
changeset 36956 21be4832c362
parent 36948 d2cdad45fd14
child 37038 1ce1b19f78f4
     1.1 --- a/src/Pure/build-jars	Mon May 17 10:20:55 2010 +0200
     1.2 +++ b/src/Pure/build-jars	Mon May 17 14:23:54 2010 +0200
     1.3 @@ -34,9 +34,9 @@
     1.4    General/yxml.scala
     1.5    Isar/isar_document.scala
     1.6    Isar/keyword.scala
     1.7 -  Isar/outer_lex.scala
     1.8    Isar/outer_syntax.scala
     1.9    Isar/parse.scala
    1.10 +  Isar/token.scala
    1.11    PIDE/change.scala
    1.12    PIDE/command.scala
    1.13    PIDE/document.scala