added support for directory browsing in cicBrowser

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

diff --git a/helm/matita/matitaMisc.mli b/helm/matita/matitaMisc.mli
index a0d19b8b21f89bbfecf8d8f1d6d73f84d3fdef42..79219f174be1a770350c4654efda6cf9c4a8ab27 100644 (file)
--- a/helm/matita/matitaMisc.mli
+++ b/helm/matita/matitaMisc.mli
@@ -42,7 +42,8 @@ val strip_trailing_blanks: string -> string
 
   (** Gdome.element of a MathML document whose rendering should be blank. Used
   * by cicBrowser to render "about:blank" document *)
-val empty_mathml: Gdome.element
+val empty_mathml: unit -> Gdome.document
+val empty_boxml: unit -> Gdome.document
 
 exception History_failure