-val sequent_viewer :
- mml_of_cic_sequent:MatitaTypes.mml_of_cic_sequent ->
- ?packing:(GObj.widget -> unit) -> ?show:bool ->
+val proof_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.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 ->