src/Pure/build-jars

--- a/src/Pure/build-jars	Sat May 15 22:05:49 2010 +0200
+++ b/src/Pure/build-jars	Sat May 15 22:15:57 2010 +0200
@@ -35,8 +35,8 @@
   Isar/isar_document.scala
   Isar/keyword.scala
   Isar/outer_lex.scala
-  Isar/outer_parse.scala
   Isar/outer_syntax.scala
+  Isar/parse.scala
   PIDE/change.scala
   PIDE/command.scala
   PIDE/document.scala