Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/build-jars
changeset 69355 cdc2de88d657
parent 69339 6baa37cbf70b
child 69395 d1c4a1dee9e7 
--- a/src/Pure/build-jars	Wed Nov 28 11:06:58 2018 +0100
+++ b/src/Pure/build-jars	Wed Nov 28 11:28:02 2018 +0100
@@ -118,6 +118,7 @@
   System/getopts.scala
   System/invoke_scala.scala
   System/isabelle_charset.scala
+  System/isabelle_fonts.scala
   System/isabelle_process.scala
   System/isabelle_system.scala
   System/isabelle_tool.scala
isabelle