File:Projectexplorer extension example.zip
From Event-B
Jump to navigationJump to searchNo file by this name exists.
This example demonstrates how to extend the project explorer to display other filetypes than Event-B models and contexts
File usage
There are no pages that use this file.