Wizard in the project popup
Added some property sheets
Added ProB arguments and simulation exceptions
Added Event-B import wizard