--- a/src/Pure/build-jars Sat Aug 07 17:24:46 2010 +0200
+++ b/src/Pure/build-jars Sat Aug 07 19:52:14 2010 +0200
@@ -37,7 +37,6 @@
Isar/outer_syntax.scala
Isar/parse.scala
Isar/token.scala
- PIDE/change.scala
PIDE/command.scala
PIDE/document.scala
PIDE/event_bus.scala