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