src/Pure/build-jars
changeset 69338 0e3e66197a18
parent 69330 6a33b12f8573
child 69339 6baa37cbf70b
     1.1 --- a/src/Pure/build-jars	Fri Nov 23 22:05:14 2018 +0100
     1.2 +++ b/src/Pure/build-jars	Fri Nov 23 22:55:08 2018 +0100
     1.3 @@ -22,6 +22,7 @@
     1.4    Admin/ci_profile.scala
     1.5    Admin/isabelle_cronjob.scala
     1.6    Admin/isabelle_devel.scala
     1.7 +  Admin/isabelle_fonts.scala
     1.8    Admin/jenkins.scala
     1.9    Admin/other_isabelle.scala
    1.10    Admin/remote_dmg.scala
    1.11 @@ -147,7 +148,6 @@
    1.12    Tools/dump.scala
    1.13    Tools/fontforge.scala
    1.14    Tools/imports.scala
    1.15 -  Tools/isabelle_fonts.scala
    1.16    Tools/main.scala
    1.17    Tools/mkroot.scala
    1.18    Tools/print_operation.scala