Class GuiProof.printer

class printer : Wtext.text -> object .. end

method on_click : (ProofEngine.position -> unit) -> unit
method on_backtrack : (ProofEngine.node -> unit) -> unit
method pp_main : Format.formatter -> ProofEngine.tree -> unit
method pp_node : Format.formatter -> ProofEngine.node -> unit
method pending : ProofEngine.node -> unit
method status : ProofEngine.tree -> unit
method tree : ProofEngine.tree -> unit