-let _ = MatitaInit.initialize_all ()
-
-let main uri_to_remove = MatitacleanLib.clean_baseuris uri_to_remove
-
-let _ =
- let uris_to_remove = ref [] in
- let files_to_remove = ref [] in
- (match Helm_registry.get_list Helm_registry.string "matita.args" with
+let main () =
+ let _ = MatitaInit.initialize_all () in
+ let basedir = Helm_registry.get "matita.basedir" in
+ match Helm_registry.get_list Helm_registry.string "matita.args" with