let system_mode = Helm_registry.get_bool "matita.system" in
let include_paths =
Helm_registry.get_list Helm_registry.string "matita.includes" in
- grafite_status := [GrafiteSync.init "cic:/matita/tests/"];
lexicon_status :=
[CicNotation2.load_notation ~include_paths
BuildTimeConf.core_notation_script] ;
+ grafite_status := [GrafiteSync.init (List.hd !lexicon_status) "cic:/matita/tests/"];
Sys.catch_break true;
let origcb = HLog.get_log_callback () in
let origcb t s = origcb t ((if system_mode then "[S] " else "") ^ s) in