misc fixes in cic browser queries (pretty printing, url bar, ...)

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

diff --git a/helm/matita/matitaMisc.mli b/helm/matita/matitaMisc.mli
index c4adbf6e1e8f94fa4c372ad220ae591ec693ec2f..9cbada588600a5ace3e72e1e592ff8fb78ab2b21 100644 (file)
--- a/helm/matita/matitaMisc.mli
+++ b/helm/matita/matitaMisc.mli
@@ -51,8 +51,10 @@ val is_proof_object: string -> bool
   * it *)
 val append_phrase_sep: string -> string
 
-val strip_trailing_blanks: string -> string
+val trim_blanks: string -> string
 val strip_trailing_slash: string -> string
+val normalize_dir: string -> string (** add trailing "/" if missing *)
+val strip_suffix: suffix:string -> string -> string
 
   (* split a string at character, char defaults to ' ' *)
 val split: ?char:char -> string -> string list