method proofStatus = MatitaMisc.get_proof_status self#status
method proofMetasenv = MatitaMisc.get_proof_metasenv self#status
method proofContext = MatitaMisc.get_proof_context self#status
+ method proofConclusion = MatitaMisc.get_proof_conclusion self#status
method setGoal n = userGoal <- n
method eos =