--- a/src/Pure/build-jars Tue Nov 29 06:09:41 2011 +0100
+++ b/src/Pure/build-jars Tue Nov 29 19:49:36 2011 +0100
@@ -14,9 +14,7 @@
Concurrent/simple_thread.scala
Concurrent/volatile.scala
General/exn.scala
- General/isabelle_markup.scala
General/linear_set.scala
- General/markup.scala
General/path.scala
General/position.scala
General/pretty.scala
@@ -32,7 +30,9 @@
PIDE/blob.scala
PIDE/command.scala
PIDE/document.scala
+ PIDE/isabelle_markup.scala
PIDE/isar_document.scala
+ PIDE/markup.scala
PIDE/markup_tree.scala
PIDE/text.scala
PIDE/xml.scala