let resolve alias current_buri =
let buri = buri alias in
if buri <> current_buri then Some buri else None in
- let include_paths =
- Helm_registry.get_list Helm_registry.string "matita.includes" in
MatitaInit.load_configuration_file ();
MatitaInit.parse_cmdline ();
+ let include_paths =
+ Helm_registry.get_list Helm_registry.string "matita.includes" in
let basedir = Helm_registry.get "matita.basedir" in
List.iter
(fun ma_file ->