The OpenJML Eclipse Update Site

THIS SITE IS OBSOLETE. Any material here, including old Eclipse updates, is no longer supported or maintained in any way. For current material on OpenJML, see the OpenJML github project site and OpenJML user information.

This is the Eclipse plug-in update site for the OpenJML Eclipse plug-in.

Within Eclipse (4.2 or later) use the Install New Software wizard to add a new site: use the URL of this page, and a title of your choice, such as "OpenJML".

To run this plugin you must be running Eclipse from an OpenJDK build of Java 1.7. See the instructions here.

This is currently a preliminary, alpha release; it is not yet portable across platforms --- it crashes on some.