X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaAutoGui.mli;h=896886a02ee6231f1cac61026536a5b72c008969;hb=7fad6f9727bb6f054c0198cf10354be4b355baef;hp=6715298e2b7097a324ca9cb63cf2b97238133ea8;hpb=a861d697fb8c13f8b12507a576aba03d0b33024c;p=helm.git

diff --git a/helm/software/matita/matitaAutoGui.mli b/helm/software/matita/matitaAutoGui.mli
index 6715298e2..896886a02 100644
--- a/helm/software/matita/matitaAutoGui.mli
+++ b/helm/software/matita/matitaAutoGui.mli
@@ -30,3 +30,4 @@ type status =
     (int * Cic.term * bool * int * (int * Cic.term) list) list *
     (int * Cic.term * int) list * Cic.term list
 val auto_dialog : (unit -> status) -> unit
+val set_font_size: int -> unit