--- a/src/Pure/build-jars Sun Nov 25 18:50:13 2012 +0100
+++ b/src/Pure/build-jars Sun Nov 25 19:49:24 2012 +0100
@@ -32,7 +32,6 @@
Isar/token.scala
PIDE/command.scala
PIDE/document.scala
- PIDE/isabelle_markup.scala
PIDE/markup.scala
PIDE/markup_tree.scala
PIDE/protocol.scala