src/Pure/build-jars

   Admin/build_status.scala
   Admin/check_sources.scala
   Admin/ci_profile.scala
   Admin/isabelle_cronjob.scala
   Admin/isabelle_devel.scala
+  Admin/isabelle_fonts.scala
   Admin/jenkins.scala
   Admin/other_isabelle.scala
   Admin/remote_dmg.scala
   Concurrent/consumer_thread.scala
   Concurrent/counter.scala

   Tools/debugger.scala
   Tools/doc.scala
   Tools/dump.scala
   Tools/fontforge.scala
   Tools/imports.scala
-  Tools/isabelle_fonts.scala
   Tools/main.scala
   Tools/mkroot.scala
   Tools/print_operation.scala
   Tools/profiling_report.scala
   Tools/server.scala