* http://helm.cs.unibo.it/
*)
-val usage_string: string
+val version: string
+val conffile: string
val empty_xml: string
+
+ (** @return an HTML usage string including configuration information passed as
+ input parameter *)
+val usage_string: string -> string
+