--- a/src/Pure/build-jars Sun Aug 15 23:13:56 2010 +0200
+++ b/src/Pure/build-jars Mon Aug 16 00:07:28 2010 +0200
@@ -36,6 +36,7 @@
Isar/keyword.scala
Isar/outer_syntax.scala
Isar/parse.scala
+ Isar/toplevel.scala
Isar/token.scala
PIDE/command.scala
PIDE/document.scala