match Helm_registry.get_list Helm_registry.string "matita.args" with
| [ "all" ] ->
if Helm_registry.get_bool "matita.system" then
match Helm_registry.get_list Helm_registry.string "matita.args" with
| [ "all" ] ->
if Helm_registry.get_bool "matita.system" then