src/Pure/build-jars
changeset 38567 b670faa807c9
parent 38483 3d16bebee1d3
child 38636 b7647ca7de5a
     1.1 --- a/src/Pure/build-jars	Fri Aug 20 11:47:33 2010 +0200
     1.2 +++ b/src/Pure/build-jars	Fri Aug 20 11:57:43 2010 +0200
     1.3 @@ -37,7 +37,6 @@
     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