src/Tools/jEdit/src/proofdocument/session.scala
changeset 34837 aa73039d5d14
parent 34836 b83c7a738eb8
child 34839 3457436a1110
equal deleted inserted replaced
34836:b83c7a738eb8 34837:aa73039d5d14
   149           case _ => bad_result(result)
   149           case _ => bad_result(result)
   150         }
   150         }
   151       }
   151       }
   152       else if (result.kind == Isabelle_Process.Kind.EXIT)
   152       else if (result.kind == Isabelle_Process.Kind.EXIT)
   153         prover = null
   153         prover = null
   154       else if (result.kind != Isabelle_Process.Kind.STDIN) bad_result(result)
   154       else if (result.kind != Isabelle_Process.Kind.STDIN && !result.is_ready)
       
   155         bad_result(result)
   155     }
   156     }
   156 
   157 
   157 
   158 
   158     /* prover startup */
   159     /* prover startup */
   159 
   160