snapshot, notably:

[helm.git] / helm / matita / matitaMathView.mli

diff --git a/helm/matita/matitaMathView.mli b/helm/matita/matitaMathView.mli
index 04d96befeb8cc0a16cb1cbf79be51ba4c2c4c1fd..8b5ca89acd1ced41d4f1aacf172244044021c260 100644 (file)
--- a/helm/matita/matitaMathView.mli
+++ b/helm/matita/matitaMathView.mli
@@ -64,6 +64,13 @@ class type sequents_viewer =
     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 ->
@@ -76,10 +83,6 @@ val proof_viewer:
   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 ->
@@ -99,5 +102,13 @@ val sequents_viewer:
   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
+