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