--- a/src/Pure/build-jars Thu Oct 30 23:14:11 2014 +0100
+++ b/src/Pure/build-jars Fri Oct 31 11:18:17 2014 +0100
@@ -90,7 +90,6 @@
Tools/build_doc.scala
Tools/check_source.scala
Tools/doc.scala
- Tools/keywords.scala
Tools/main.scala
Tools/ml_statistics.scala
Tools/print_operation.scala