src/Pure/build-jars
changeset 59362 41f1645a4f63
parent 59290 569a8109eeb2
child 59392 02bacfc31446
--- 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