class pane :unit ->
object
..end
val mutable state : display_state
val mutable run : Wpo.t -> VCS.prover -> unit
val mutable src : Wpo.t option -> unit
method private goal : unit
method private log : Wpo.t -> VCS.prover -> unit
method private run : Wpo.t -> VCS.prover -> unit
method on_run : (Wpo.t -> VCS.prover -> unit) -> unit
method on_src : (Wpo.t option -> unit) -> unit
method select : Wpo.t option -> unit
method update : unit
method coerce : GObj.widget