+ let transcript_dir = Filename.dirname Sys.argv.(0) in
+ let default_registry = Filename.concat transcript_dir "transcript" in
+ let matita_registry = Filename.concat !O.cwd "matita" in
+ load_registry default_registry;
+ load_registry matita_registry;
+ HP.init ()