src/Pure/build-jars
changeset 43744 2c7e1565b4a3
parent 43730 a0ed7bc688b5
child 43767 e0219ef7f84c
     1.1 --- a/src/Pure/build-jars	Sun Jul 10 21:46:41 2011 +0200
     1.2 +++ b/src/Pure/build-jars	Sun Jul 10 23:46:05 2011 +0200
     1.3 @@ -40,6 +40,7 @@
     1.4    System/download.scala
     1.5    System/event_bus.scala
     1.6    System/gui_setup.scala
     1.7 +  System/invoke_scala.scala
     1.8    System/isabelle_charset.scala
     1.9    System/isabelle_process.scala
    1.10    System/isabelle_syntax.scala