src/Pure/System/isabelle_process.scala
changeset 45075 6c66e268f8eb
parent 45055 55274f7e306b
child 45158 db4bf4fb5492
     1.1 --- a/src/Pure/System/isabelle_process.scala	Sun Sep 25 09:37:33 2011 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Sun Sep 25 13:48:59 2011 +0200
     1.3 @@ -76,7 +76,7 @@
     1.4  
     1.5  
     1.6  class Isabelle_Process(
     1.7 -    timeout: Time = Time.seconds(10),
     1.8 +    timeout: Time = Time.seconds(25),
     1.9      use_socket: Boolean = false,
    1.10      receiver: Isabelle_Process.Message => Unit = Console.println(_),
    1.11      args: List[String] = Nil)