X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaMathView.mli;h=aa9d38ded1db2a0522b72d2a838081c5b5b7f6dd;hb=aca103d3c3d740efcc0bcc2932922cff77facb49;hp=e26352dadb1fbaab7dcc9601cc4e3078d68389aa;hpb=3b5b254f2faa600a14a837e95f94f953dc9959c7;p=helm.git

diff --git a/helm/matita/matitaMathView.mli b/helm/matita/matitaMathView.mli
index e26352dad..aa9d38ded 100644
--- 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} *)