1.1 --- a/src/Tools/jEdit/src/proofdocument/session.scala	Mon Jan 04 19:42:35 2010 +0100
     1.2 +++ b/src/Tools/jEdit/src/proofdocument/session.scala	Tue Jan 05 18:23:15 2010 +0100
     1.3 @@ -151,7 +151,8 @@
     1.4        }
     1.5        else if (result.kind == Isabelle_Process.Kind.EXIT)
     1.6          prover = null
     1.7 -      else if (result.kind != Isabelle_Process.Kind.STDIN) bad_result(result)
     1.8 +      else if (result.kind != Isabelle_Process.Kind.STDIN && !result.is_ready)
     1.9 +        bad_result(result)
    1.10      }
    1.11  
    1.12