--- a/src/Pure/build-jars Sun Jan 11 21:06:47 2015 +0100
+++ b/src/Pure/build-jars Tue Jan 13 21:46:09 2015 +0100
@@ -55,6 +55,7 @@
Isar/parse.scala
Isar/token.scala
ML/ml_lex.scala
+ PIDE/batch_session.scala
PIDE/command.scala
PIDE/command_span.scala
PIDE/document.scala