--- a/src/Pure/build-jars Fri Aug 20 11:47:33 2010 +0200
+++ b/src/Pure/build-jars Fri Aug 20 11:57:43 2010 +0200
@@ -37,7 +37,6 @@
Isar/keyword.scala
Isar/outer_syntax.scala
Isar/parse.scala
- Isar/toplevel.scala
Isar/token.scala
PIDE/command.scala
PIDE/document.scala