X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaMisc.mli;h=eec60932d69a0db08a5083c95543fcfa59c73d38;hb=456a157eba1428fd4ec02713e60ac2b653a0e0b0;hp=b91275618aad386e35e3665524bc3075f2f4bd36;hpb=aef659e5893b4bf8c8544d0c54714e10f5b5493a;p=helm.git

diff --git a/helm/software/matita/matitaMisc.mli b/helm/software/matita/matitaMisc.mli
index b91275618..eec60932d 100644
--- a/helm/software/matita/matitaMisc.mli
+++ b/helm/software/matita/matitaMisc.mli
@@ -76,3 +76,6 @@ val image_path: string -> string
 
   (** 2>/dev/null, HLog = (fun _ -> ()) *)
 val shutup: unit -> unit
+
+  (** outputs the preamble of a generated .ma file *)
+val out_preamble: out_channel -> unit