* http://helm.cs.unibo.it/
*)
+(* $Id$ *)
+
module MK = MatitamakeLib ;;
let main () =
- Helm_registry.load_from BuildTimeConf.matita_conf;
+ MatitaInit.load_configuration_file ();
MK.initialize ();
let usage = ref (fun () -> ()) in
let dev_of_name name =