Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
**NOTE**: As of 2017-Sep-14, this project was **moved to [github](https://github.com/15knots/cmakeed)**. Please file any issues there. ----- Eclipse plug-in for editing CMake files such as CMakeLists.txt. Provides syntax coloring, CMake command content assist, and the CMake command reference incorporated into the Eclipse help system. Requires Java 5 or higher and Eclipse 3.4 or higher.
Eclipse plugin for VCS ClearCase - sponsored by ALMtoolbox
For the time being I can provide limted support for development since I do not longer have access to a clearcase server. Provides a ClearCase plug-in for the eclipse development environment. The plug-in Require a ClearCase client installed. We welcome feedback from end-user to make the plug-in more user-friendly. Release info will be published on release mailing-list. Version 2.2.36 --> requires java 1.7 or higher. Plugin is sponsored by ALMtoolbox – productivity ClearCase add-on tools - http://almtoolbox.com
Eclipse Version Tree Plugin is an easy to use, graphical version tree for project artifacts hosted in a CVS repository. It is a graphical replacment for Eclipse resource history. Supports different layout styles, customization and convenience features. The development is being continued on GitHub https://github.com/angvoz/net.sf.versiontree