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

diff --git a/helm/software/matita/matitaAutoGui.mli b/helm/software/matita/matitaAutoGui.mli
index 6715298e2..eabf24aab 100644
--- a/helm/software/matita/matitaAutoGui.mli
+++ b/helm/software/matita/matitaAutoGui.mli
@@ -27,6 +27,7 @@
 
 type status =
     Cic.context *
-    (int * Cic.term * bool * int * (int * Cic.term) list) list *
-    (int * Cic.term * int) list * Cic.term list
+    (int * Cic.term * bool * int * (int * Cic.term Lazy.t) list) list *
+    (int * Cic.term * int) list * Cic.term Lazy.t list
 val auto_dialog : (unit -> status) -> unit
+val set_font_size: int -> unit