-let initialize_notation init_status =
- wants [ConfigurationFile] init_status;
- if not (already_configured [Notation] init_status) then
- begin
- CicNotation2.load_notation BuildTimeConf.core_notation_script;
- Notation::init_status
- end
- else
- init_status
-