edu.tum.cs.isabelle
Error case of XMLResult as an exception.
When decoding an XML tree sent from the prover fails, this exception is fed into the corresponding observer.
Error case of XMLResult as an exception.
When decoding an XML tree sent from the prover fails, this exception is fed into the corresponding observer.