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 43744 2c7e1565b4a3
parent 43730 a0ed7bc688b5
child 43767 e0219ef7f84c 
--- a/src/Pure/build-jars	Sun Jul 10 21:46:41 2011 +0200
+++ b/src/Pure/build-jars	Sun Jul 10 23:46:05 2011 +0200
@@ -40,6 +40,7 @@
   System/download.scala
   System/event_bus.scala
   System/gui_setup.scala
+  System/invoke_scala.scala
   System/isabelle_charset.scala
   System/isabelle_process.scala
   System/isabelle_syntax.scala
isabelle