Eclipse is probably best known as a Java IDE, but it is more: it is an IDE framework, a tools framework, an open source project, a community, an eco-system, and a foundation.https://www.eclipse.org/eclipse.org-common/themes/solstice/public/images/logo/eclipse-200x200.png
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.
Note that the repository link will not necessarily display anything meaningful in your browser.
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.
02-Dec-2014 - Release Build (0.11.0) available.
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.
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.