Version 1.1.1 of Generic Instantiation plug-in
Version number 1.1.1
Fix a NPE for update to Rodin 3.1
Version number to 1.1.1
Updated to use EventB Utils 0.2.0
Home
Deleted updatesite project
PO Generation implemented
ui fragment is removed and the functionality is...
Build issue has been fixed
instantiated context PO decorated
fragment is merged with ui
Plug-in version no updated to 1.0.4 and update...
plug-in installation issue has been fixed
Committed latest update site
Rodin 3.0 compatible GI plug-in
Version No updated to 1.1.0
Author name updated
build issue has been fixed
Change related to PO and Navigation drop down.
PO file integration
Committed with MANIFEST status id and revision ...
added PO gen files
Symbol table insert
class files deleted
Merge branch 'master' of ssh://170.95.204.21/va...
Navigation image decoration implemented
Committed initial version of GI PO generation.
Committed locally for history merge
com.hitachi.geninst.ui.fragment added
Merge branch 'gi_pogeneration-master'
Preetty Print implemented
Update site updated after the UI error fix
update site and feature project updated to make...
PO integrated
code cleanup and design document update
GI Release 1.1 update to SourceForge by HIL R&D...
Home
Minor typos fixed
Added the fact that the old versions of plug-in...
Minor type fixed
Minor type fixed
Instructions on how to make a release
Preparing for release v1.0.3 (For Rodin 3.0.0)
Ported to Rodin 3.0
Updated missing Copyright
Added ELP v1.0 to source code folders
Fixed a bug that prevent the static checker to ...
Move the update site to svn (for the purpose of...
Removed unnecessary features and plugins folders
Moved from git
Share project "com.hitachi.geninst_updatesite" ...