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

diff --git a/helm/matita/matitaMathView.mli b/helm/matita/matitaMathView.mli
index da187a7c5..e26352dad 100644
--- a/helm/matita/matitaMathView.mli
+++ b/helm/matita/matitaMathView.mli
@@ -59,16 +59,11 @@ class type sequentsViewer =
 
 exception Browser_failure of string
 
-type term_source =
-  [ `Ast of DisambiguateTypes.term
-  | `Cic of Cic.term * Cic.metasenv
-  | `String of string
-  ]
 
 class type cicBrowser =
 object
   method loadUri: string -> unit
-  method loadTerm: term_source -> unit
+  method loadTerm: MatitaTypes.term_source -> unit
 end
 
 (** {2 Constructors} *)
@@ -105,3 +100,5 @@ val refresh_all_browsers: unit -> unit
 val sequentViewer_instance: unit -> sequentViewer
 val sequentsViewer_instance: unit -> sequentsViewer
 
+val mathViewer: unit -> MatitaTypes.mathViewer
+