--- a/src/Pure/build-jars Thu Apr 03 10:51:24 2014 +0200
+++ b/src/Pure/build-jars Thu Apr 03 13:46:18 2014 +0200
@@ -52,6 +52,7 @@
PIDE/markup.scala
PIDE/markup_tree.scala
PIDE/protocol.scala
+ PIDE/prover.scala
PIDE/query_operation.scala
PIDE/resources.scala
PIDE/session.scala