src/Pure/build-jars
changeset 38429 9951852fae91
parent 38428 c13c95c97e89
child 38473 bd96f2a5beb0
     1.1 --- a/src/Pure/build-jars	Sun Aug 15 23:13:56 2010 +0200
     1.2 +++ b/src/Pure/build-jars	Mon Aug 16 00:07:28 2010 +0200
     1.3 @@ -36,6 +36,7 @@
     1.4    Isar/keyword.scala
     1.5    Isar/outer_syntax.scala
     1.6    Isar/parse.scala
     1.7 +  Isar/toplevel.scala
     1.8    Isar/token.scala
     1.9    PIDE/command.scala
    1.10    PIDE/document.scala