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 51614 22d1dd43f089
parent 51508 48a1e09120d4
child 51615 072a7249e1ac 
--- a/src/Pure/build-jars	Thu Apr 04 17:16:51 2013 +0200
+++ b/src/Pure/build-jars	Thu Apr 04 17:33:04 2013 +0200
@@ -47,6 +47,7 @@
   System/interrupt.scala
   System/invoke_scala.scala
   System/isabelle_charset.scala
+  System/isabelle_font.scala
   System/isabelle_process.scala
   System/isabelle_system.scala
   System/jfx_thread.scala
isabelle