Module Project_manager


module Project_manager: sig .. end
Extension of the GUI in order to support project switching. No function is exported.