1.1 --- a/src/Pure/Tools/isabelle_process.scala	Sun Aug 24 21:15:48 2008 +0200
     1.2 +++ b/src/Pure/Tools/isabelle_process.scala	Mon Aug 25 16:52:11 2008 +0200
     1.3 @@ -111,6 +111,11 @@
     1.4  
     1.5    def get_result() = results.take
     1.6  
     1.7 +  def try_result() = {
     1.8 +    val res = results.poll
     1.9 +    if (res != null) Some(res) else None
    1.10 +  }
    1.11 +
    1.12  
    1.13    /* signals */
    1.14