1.1 --- a/src/Pure/System/session.scala Thu Jun 23 14:48:32 2011 +0200
1.2 +++ b/src/Pure/System/session.scala Thu Jun 23 14:52:32 2011 +0200
1.3 @@ -7,6 +7,7 @@
1.4
1.5 package isabelle
1.6
1.7 +import java.lang.System
1.8
1.9 import scala.actors.TIMEOUT
1.10 import scala.actors.Actor