X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaMathView.mli;h=b11befe4eb9f6ea89bcadf58590188ac566b1103;hb=fd372e069bbcaa96dc5b2eef04f341b28850d726;hp=1dc3dabe8bcca48af519cc3d3b6d5068cfb5aad4;hpb=de4483296d06aac3df4da10d5401b1f97c4350ab;p=helm.git

diff --git a/helm/matita/matitaMathView.mli b/helm/matita/matitaMathView.mli
index 1dc3dabe8..b11befe4e 100644
--- a/helm/matita/matitaMathView.mli
+++ b/helm/matita/matitaMathView.mli
@@ -59,11 +59,10 @@ class type sequentsViewer =
 
 exception Browser_failure of string
 
-
 class type cicBrowser =
 object
   method load: MatitaTypes.mathViewer_entry -> unit
-  method loadList: string list -> MatitaTypes.mathViewer_entry -> unit
+  (* method loadList: string list -> MatitaTypes.mathViewer_entry -> unit *)
   method loadInput: string -> unit
 end