--- a/src/Pure/build-jars Sat Oct 22 12:34:17 2016 +0200
+++ b/src/Pure/build-jars Sat Oct 22 12:34:58 2016 +0200
@@ -19,7 +19,6 @@
Admin/ci_profile.scala
Admin/isabelle_cronjob.scala
Admin/other_isabelle.scala
- Admin/profiling_report.scala
Admin/remote_dmg.scala
Concurrent/consumer_thread.scala
Concurrent/counter.scala
@@ -130,6 +129,7 @@
Tools/ml_statistics.scala
Tools/news.scala
Tools/print_operation.scala
+ Tools/profiling_report.scala
Tools/simplifier_trace.scala
Tools/task_statistics.scala
Tools/update_cartouches.scala