(* these include_paths are used only to load the initial notation *)
let include_paths =
Helm_registry.get_list Helm_registry.string "matita.includes" in
let lexicon_status =
CicNotation2.load_notation ~include_paths
BuildTimeConf.core_notation_script in
(* these include_paths are used only to load the initial notation *)
let include_paths =
Helm_registry.get_list Helm_registry.string "matita.includes" in
let lexicon_status =
CicNotation2.load_notation ~include_paths
BuildTimeConf.core_notation_script in