--- a/src/Pure/build-jars Tue Sep 10 14:02:49 2013 +0200
+++ b/src/Pure/build-jars Tue Sep 10 16:09:33 2013 +0200
@@ -72,7 +72,6 @@
Thy/thy_load.scala
Thy/thy_syntax.scala
Tools/build.scala
- Tools/build_dialog.scala
Tools/doc.scala
Tools/keywords.scala
Tools/main.scala