Class GuiProver.prover

class prover : console:Wtext.text -> prover:VCS.prover -> object .. end
Requires filter prover.
Inherits
method clear : unit
method update : Wpo.t -> unit
method prover : VCS.prover