lazy Isabelle_System.default supports implicit boot;
authorwenzelm
Wed Jun 22 21:35:48 2011 +0200 (2011-06-22 ago)
changeset 4351445cf8d5e109a
parent 43513 06951ddfc812
child 43515 55160cf1e4f6
lazy Isabelle_System.default supports implicit boot;
src/Pure/System/gui_setup.scala
src/Pure/System/isabelle_process.scala
src/Pure/System/isabelle_system.scala
     1.1 --- a/src/Pure/System/gui_setup.scala	Wed Jun 22 21:27:20 2011 +0200
     1.2 +++ b/src/Pure/System/gui_setup.scala	Wed Jun 22 21:35:48 2011 +0200
     1.3 @@ -42,7 +42,7 @@
     1.4      text.append("JVM name: " + Platform.jvm_name + "\n")
     1.5      text.append("JVM platform: " + Platform.jvm_platform + "\n")
     1.6      try {
     1.7 -      val isabelle_system = new Isabelle_System
     1.8 +      val isabelle_system = Isabelle_System.default
     1.9        text.append("ML platform: " + isabelle_system.getenv("ML_PLATFORM") + "\n")
    1.10        text.append("Isabelle platform: " + isabelle_system.getenv("ISABELLE_PLATFORM") + "\n")
    1.11        val platform64 = isabelle_system.getenv("ISABELLE_PLATFORM64")
     2.1 --- a/src/Pure/System/isabelle_process.scala	Wed Jun 22 21:27:20 2011 +0200
     2.2 +++ b/src/Pure/System/isabelle_process.scala	Wed Jun 22 21:35:48 2011 +0200
     2.3 @@ -69,7 +69,7 @@
     2.4    /* demo constructor */
     2.5  
     2.6    def this(args: String*) =
     2.7 -    this(new Isabelle_System, Time.seconds(10),
     2.8 +    this(Isabelle_System.default, Time.seconds(10),
     2.9        actor { loop { react { case res => Console.println(res) } } }, args: _*)
    2.10  
    2.11  
     3.1 --- a/src/Pure/System/isabelle_system.scala	Wed Jun 22 21:27:20 2011 +0200
     3.2 +++ b/src/Pure/System/isabelle_system.scala	Wed Jun 22 21:35:48 2011 +0200
     3.3 @@ -18,6 +18,11 @@
     3.4  import scala.collection.mutable
     3.5  
     3.6  
     3.7 +object Isabelle_System
     3.8 +{
     3.9 +  lazy val default: Isabelle_System = new Isabelle_System
    3.10 +}
    3.11 +
    3.12  class Isabelle_System(this_isabelle_home: String) extends Standard_System
    3.13  {
    3.14    def this() = this(null)