Software Repository

This project maintains a p2 repository of binary artifacts. Copy and paste this link into the "Install New Software" dialog to install this project's software.

Releases

http://download.eclipse.org/rmf/updates/releases

Milestones

http://download.eclipse.org/rmf/updates/milestones

Latest Build

http://download.eclipse.org/rmf/updates/latest

Note that the repository link will not necessarily display anything meaningful in your browser.

Third-Party Distributions

Formal Mind offers a distribution called formalmind Studio. This distribution consists of the latest ProR (at times more up to date than the downloads offered here), enhanced with the free Essentials, a suite of productivity enhancements. Essentials include Rich Text rendering and editing, suspect link management, and more.

Current Status

03-Jun-2014 - Release Build (0.10.0) available.

03-Sep-2013 - Snapshot Build (0.8.0) available.

09-Nov-2012 - Fith Snapshot Build (0.5.0) available.

30-Aug-2012 - Fourth Snapshot Build (0.4.0) available.

22-Dec-2011 - We started to migrated documentation from pror.org to the RMF Eclipse Wiki

16-Dec-2011 - The first release is planned for Januray 20th 2012.

29-Aug-2011 - We are in the incubation phase - over the next weeks, we will set up the infrastructure, migrate documentation, etc.