Module Project_manager

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