src/Tools/jEdit/src/proofdocument/session.scala

           case List(XML.Elem(Markup.COMMAND_DECL, (Markup.NAME, name) :: (Markup.KIND, kind) :: _, _)) =>
             syntax += (name, kind)
           case List(XML.Elem(Markup.KEYWORD_DECL, (Markup.NAME, name) :: _, _)) =>
             syntax += name
 
-          case _ => bad_result(result)
+          case _ => if (!result.is_ready) bad_result(result)
         }
       }
       else if (result.kind == Isabelle_Process.Kind.EXIT)
         prover = null
-      else if (result.kind != Isabelle_Process.Kind.STDIN && !result.is_ready)
+      else if (result.kind != Isabelle_Process.Kind.STDIN && !result.is_raw)
         bad_result(result)
     }
 
 
     /* prover startup */