- MatitaMisc: we factorized here the function out_preamble used in matitadep

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

diff --git a/helm/software/matita/matitaMisc.mli b/helm/software/matita/matitaMisc.mli
index b91275618aad386e35e3665524bc3075f2f4bd36..eec60932d69a0db08a5083c95543fcfa59c73d38 100644 (file)
--- 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