X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaMathView.mli;h=0aef1cc18900a411f5a3458851343babca04886d;hb=06c2b37f3d7d4e14cabeef3b18211e5d12b9b4eb;hp=51a1743f6c07225c28c29a818f93b292b16090af;hpb=015263908d9142798bcbddbe4c4d13f71e08c5c3;p=helm.git

diff --git a/helm/matita/matitaMathView.mli b/helm/matita/matitaMathView.mli
index 51a1743f6..0aef1cc18 100644
--- a/helm/matita/matitaMathView.mli
+++ b/helm/matita/matitaMathView.mli
@@ -23,15 +23,29 @@
  * http://helm.cs.unibo.it/
  *)
 
-val sequent_viewer :
-  mml_of_cic_sequent:MatitaTypes.mml_of_cic_sequent ->
-  ?packing:(GObj.widget -> unit) -> ?show:bool ->
-  unit ->
-    MatitaTypes.sequent_viewer
-
 val proof_viewer :
-  mml_of_cic_object:MatitaTypes.mml_of_cic_object ->
-  ?packing:(GObj.widget -> unit) -> ?show:bool ->
+  ?hadjustment:GData.adjustment ->
+  ?vadjustment:GData.adjustment ->
+  ?font_size:int ->
+  ?log_verbosity:int ->
+  ?width:int ->
+  ?height:int ->
+  ?packing:(GObj.widget -> unit) ->
+  ?show:bool ->
   unit ->
     MatitaTypes.proof_viewer
 
+(*
+val sequent_viewer :
+  ?hadjustment:GData.adjustment ->
+  ?vadjustment:GData.adjustment ->
+  ?font_size:int ->
+  ?log_verbosity:int ->
+  ?width:int ->
+  ?height:int ->
+  ?packing:(GObj.widget -> unit) ->
+  ?show:bool ->
+  unit ->
+    MatitaTypes.sequent_viewer
+*)
+