method goto_sequent: int -> unit (* to be called _after_ load_sequents *)
end
+class type cicBrowser =
+ object
+ method load_uri: UriManager.uri -> unit
+ end
+
+(** {2 Constructors} *)
+
val proof_viewer:
?hadjustment:GData.adjustment ->
?vadjustment:GData.adjustment ->
unit ->
proof_viewer
- (** singleton proof_viewer instance.
- * Uses singleton GUI instance *)
-val proof_viewer_instance: unit -> proof_viewer
-
val sequent_viewer:
?hadjustment:GData.adjustment ->
?vadjustment:GData.adjustment ->
unit ->
sequents_viewer
+val cicBrowser: unit -> cicBrowser
+
val mathViewer: unit -> MatitaTypes.mathViewer
+(** {2 Singletons} *)
+
+ (** singleton proof_viewer instance.
+ * Uses singleton GUI instance *)
+val proof_viewer_instance: unit -> proof_viewer
+