File:Projectexplorer extension example.zip
From Event-B
Revision as of 14:05, 11 July 2008 by imported>Jens (This example demonstrates how to extend the project explorer to display other filetypes than Event-B models and contexts)
No 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.