+val read_ft : string -> (string * MatitaFilesystem.matita_flag) list
+
+val write_ft : string -> (string * MatitaFilesystem.matita_flag) list -> unit
+
+val set_file_flag :
+ string -> (string * MatitaFilesystem.matita_flag option) list -> unit
+
+val add_user : string -> string -> bool -> unit
+
+val add_user_no_checkout : string -> string -> bool -> unit
+
+val check_pw : string -> string -> unit
+
+val reset : unit -> unit