+ "-noinnertypes", Arg.Unit no_innertypes,
+ "Turns off inner types generation while publishing";
+ "-profile-only",
+ Arg.String (fun rex -> Helm_registry.set "matita.profile_only" rex),
+ "Activates only profiler with label matching the provided regex";
+ "-system", Arg.Unit (fun () ->
+ Helm_registry.set_bool "matita.system" true),
+ ("Act on the system library instead of the user one"
+ ^ "\n WARNING: not for the casual user");
+ "-no-default-includes", Arg.Set no_default_includes,
+ "Do not include the default searched paths for the include command";
+ "-execcomments", Arg.Set execcomments,
+ "Execute the content of (** ... *) comments";
+ "-v",
+ Arg.Unit (fun () -> Helm_registry.set_bool "matita.verbose" true),
+ "Verbose mode";
+ "--version", Arg.Unit print_version, "Prints version"