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