arithmetics for λδ

[helm.git] / helm / software / matita / matitaAutoGui.mli

diff --git a/helm/software/matita/matitaAutoGui.mli b/helm/software/matita/matitaAutoGui.mli
index 6715298e2b7097a324ca9cb63cf2b97238133ea8..eabf24aab70ef2ecec3b6f2c96f5114fe35bca42 100644 (file)
--- 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