--- a/src/Pure/build-jars Wed Aug 18 14:04:13 2010 +0200
+++ b/src/Pure/build-jars Wed Aug 18 23:44:50 2010 +0200
@@ -41,7 +41,7 @@
Isar/token.scala
PIDE/command.scala
PIDE/document.scala
- PIDE/markup_node.scala
+ PIDE/markup_tree.scala
PIDE/text.scala
System/cygwin.scala
System/download.scala