cicDischarge: we still have some problems here. Some fixes

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

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