src/Pure/build-jars
changeset 38227 6bbb42843b6e
parent 37174 6feaab4fc27d
child 38267 e50c283dd125
     1.1 --- a/src/Pure/build-jars	Sat Aug 07 17:24:46 2010 +0200
     1.2 +++ b/src/Pure/build-jars	Sat Aug 07 19:52:14 2010 +0200
     1.3 @@ -37,7 +37,6 @@
     1.4    Isar/outer_syntax.scala
     1.5    Isar/parse.scala
     1.6    Isar/token.scala
     1.7 -  PIDE/change.scala
     1.8    PIDE/command.scala
     1.9    PIDE/document.scala
    1.10    PIDE/event_bus.scala