src/Pure/build-jars
changeset 36948 d2cdad45fd14
parent 36947 285b39022372
child 36956 21be4832c362
     1.1 --- a/src/Pure/build-jars	Sat May 15 22:05:49 2010 +0200
     1.2 +++ b/src/Pure/build-jars	Sat May 15 22:15:57 2010 +0200
     1.3 @@ -35,8 +35,8 @@
     1.4    Isar/isar_document.scala
     1.5    Isar/keyword.scala
     1.6    Isar/outer_lex.scala
     1.7 -  Isar/outer_parse.scala
     1.8    Isar/outer_syntax.scala
     1.9 +  Isar/parse.scala
    1.10    PIDE/change.scala
    1.11    PIDE/command.scala
    1.12    PIDE/document.scala