--- a/src/Pure/build-jars Sat Mar 18 20:35:58 2017 +0100
+++ b/src/Pure/build-jars Sat Mar 18 20:51:42 2017 +0100
@@ -84,7 +84,6 @@
Isar/token.scala
ML/ml_lex.scala
ML/ml_syntax.scala
- PIDE/batch_session.scala
PIDE/command.scala
PIDE/command_span.scala
PIDE/document.scala