src/Pure/build-jars
changeset 47663 20e0865ae9e7
parent 47408 63c05991882e
child 47849 48b52cdc214a
     1.1 --- a/src/Pure/build-jars	Sun Apr 22 15:19:46 2012 +0200
     1.2 +++ b/src/Pure/build-jars	Sun Apr 22 15:50:29 2012 +0200
     1.3 @@ -47,6 +47,7 @@
     1.4    System/isabelle_charset.scala
     1.5    System/isabelle_process.scala
     1.6    System/isabelle_system.scala
     1.7 +  System/main.scala
     1.8    System/platform.scala
     1.9    System/session.scala
    1.10    System/session_manager.scala