method nload_sequent: NCic.metasenv -> NCic.substitution -> int -> unit
method load_object: Cic.obj -> unit
+ method load_nobject: NCic.obj -> unit
end
class type sequentsViewer =
method load_logo: unit
method load_logo_with_qed: unit
method load_sequents: GrafiteTypes.incomplete_proof -> unit
- method nload_sequents: NTacStatus.tac_status -> unit
+ method nload_sequents: #NTacStatus.tac_status -> unit
method goto_sequent: int -> unit (* to be called _after_ load_sequents *)
method cicMathView: cicMathView