src/Pure/build-jars
changeset 36947 285b39022372
parent 36683 41a1210519fd
child 36948 d2cdad45fd14
     1.1 --- a/src/Pure/build-jars	Sat May 15 21:57:27 2010 +0200
     1.2 +++ b/src/Pure/build-jars	Sat May 15 22:05:49 2010 +0200
     1.3 @@ -33,7 +33,7 @@
     1.4    General/xml.scala
     1.5    General/yxml.scala
     1.6    Isar/isar_document.scala
     1.7 -  Isar/outer_keyword.scala
     1.8 +  Isar/keyword.scala
     1.9    Isar/outer_lex.scala
    1.10    Isar/outer_parse.scala
    1.11    Isar/outer_syntax.scala