--- a/src/Pure/build-jars Mon Oct 24 11:48:32 2016 +0200
+++ b/src/Pure/build-jars Mon Oct 24 12:01:36 2016 +0200
@@ -18,6 +18,7 @@
Admin/ci_api.scala
Admin/ci_profile.scala
Admin/isabelle_cronjob.scala
+ Admin/news.scala
Admin/other_isabelle.scala
Admin/remote_dmg.scala
Concurrent/consumer_thread.scala
@@ -127,7 +128,6 @@
Tools/ml_console.scala
Tools/ml_process.scala
Tools/ml_statistics.scala
- Tools/news.scala
Tools/print_operation.scala
Tools/profiling_report.scala
Tools/simplifier_trace.scala