ported to latest lablgtkmathview

[helm.git] / helm / gTopLevel / termViewer.mli

diff --git a/helm/gTopLevel/termViewer.mli b/helm/gTopLevel/termViewer.mli
index 8fa37e53193f2e19ed4f56cf10c696bc106a8159..71ab63bc0e0ca9c861bc84d16b037115957fafb5 100644 (file)
--- a/helm/gTopLevel/termViewer.mli
+++ b/helm/gTopLevel/termViewer.mli
@@ -73,7 +73,6 @@ val sequent_viewer :
   ?vadjustment:GData.adjustment ->
   ?font_size:int ->
   ?log_verbosity:int ->
-  ?border_width:int ->
   ?width:int ->
   ?height:int ->
   ?packing:(GObj.widget -> unit) ->
@@ -111,7 +110,6 @@ val proof_viewer :
   ?vadjustment:GData.adjustment ->
   ?font_size:int ->
   ?log_verbosity:int ->
-  ?border_width:int ->
   ?width:int ->
   ?height:int ->
   ?packing:(GObj.widget -> unit) ->