added comments, fixed history, added loadList to browser

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

diff --git a/helm/matita/matitaMathView.mli b/helm/matita/matitaMathView.mli
index e26352dadb1fbaab7dcc9601cc4e3078d68389aa..1dc3dabe8bcca48af519cc3d3b6d5068cfb5aad4 100644 (file)
--- a/helm/matita/matitaMathView.mli
+++ b/helm/matita/matitaMathView.mli
@@ -62,8 +62,9 @@ exception Browser_failure of string
 
 class type cicBrowser =
 object
-  method loadUri: string -> unit
-  method loadTerm: MatitaTypes.term_source -> unit
+  method load: MatitaTypes.mathViewer_entry -> unit
+  method loadList: string list -> MatitaTypes.mathViewer_entry -> unit
+  method loadInput: string -> unit
 end
 
 (** {2 Constructors} *)