1.1 --- a/src/Pure/build-jars	Fri Jul 20 12:45:12 2012 +0200
     1.2 +++ b/src/Pure/build-jars	Fri Jul 20 15:48:22 2012 +0200
     1.3 @@ -48,6 +48,7 @@
     1.4    System/isabelle_process.scala
     1.5    System/isabelle_system.scala
     1.6    System/main.scala
     1.7 +  System/options.scala
     1.8    System/platform.scala
     1.9    System/session.scala
    1.10    System/session_manager.scala