* 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
+*)
+