Adding an own submenu - ProB Documentation

Adding an own submenu

For submenus we usually need a menu contribution for both the standalone version and the plug-in version

Plug-in Version Standalone Version