X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fxml%2Fxml.mli;h=43547eaa03fdbc5a1aadeeea11bc5f29b9594ab4;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=a48e7d6b9f033868c40e43e6a7e02b91d0496b8f;hpb=6f65a2e518d723ea722b23bfd9fa0162ff8be457;p=helm.git

diff --git a/helm/ocaml/xml/xml.mli b/helm/ocaml/xml/xml.mli
index a48e7d6b9..43547eaa0 100644
--- a/helm/ocaml/xml/xml.mli
+++ b/helm/ocaml/xml/xml.mli
@@ -63,8 +63,11 @@ val xml_cdata : string -> token Stream.t
 (* The pretty printer for streams of token                                  *)
 (* Usage:                                                                   *)
 (*  pp tokens None     pretty prints the output on stdout                   *)
-(*  pp tokens (Some filename) pretty prints the output on the file filename *)
-val pp : ?quiet:bool -> token Stream.t -> string option -> unit
+(*  pp tokens (Some filename) pretty prints the output on the file filename
+* @param gzip if set to true files are gzipped. Defaults to false *)
+val pp : ?gzip:bool -> token Stream.t -> string option -> unit
 val pp_to_outchan : token Stream.t -> out_channel -> unit
 val pp_to_string : token Stream.t -> string
 
+val add_xml_declaration: token Stream.t -> token Stream.t
+