diff -r c13c95c97e89 -r 9951852fae91 src/Pure/build-jars
--- 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