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 67041 f8b0367046bd
parent 67016 57d58c3cf16b
child 67054 9498b7522a99 
--- a/src/Pure/build-jars	Fri Nov 10 22:05:30 2017 +0100
+++ b/src/Pure/build-jars	Sat Nov 11 14:35:41 2017 +0100
@@ -139,6 +139,7 @@
   Tools/doc.scala
   Tools/imports.scala
   Tools/main.scala
+  Tools/mkroot.scala
   Tools/print_operation.scala
   Tools/profiling_report.scala
   Tools/server.scala
isabelle