class type browserWin =
object
inherit MatitaGeneratedGui.browserWin
- method browserUri: GEdit.combo_box_entry
+ method browserUri: GEdit.entry
end
class type gui =
(* method toolbar : MatitaGeneratedGui.toolBarWin *)
method console: console
- method sourceView: GSourceView.source_view
+ method sourceView: GSourceView2.source_view
(** {2 Dialogs instantiation}
* methods below create a new window on each invocation. You should
(** load a sequent and render it into parent widget *)
method load_sequent: Cic.metasenv -> int -> unit
+ method nload_sequent:
+ #NCicCoercion.status -> NCic.metasenv -> NCic.substitution -> int -> unit
method load_object: Cic.obj -> unit
+ method load_nobject: #NCicCoercion.status -> NCic.obj -> unit
end
class type sequentsViewer =
method reset: unit
method load_logo: unit
method load_logo_with_qed: unit
- method load_sequents: GrafiteTypes.incomplete_proof -> unit
- method goto_sequent: int -> unit (* to be called _after_ load_sequents *)
+ method load_sequents:
+ #NCicCoercion.status -> GrafiteTypes.incomplete_proof -> unit
+ method nload_sequents: #NTacStatus.tac_status -> unit
+ method goto_sequent:
+ #NCicCoercion.status -> int -> unit (* to be called _after_ load_sequents *)
method cicMathView: cicMathView
end
(* method loadList: string list -> MatitaTypes.mathViewer_entry -> unit *)
method loadInput: string -> unit
method mathView: clickableMathView
+ method win: browserWin
end