ProR is a generic Requirements Engineering Tool. It was initially developed at the Institute for Computer Science at the Heinrich-Heine University in Düsseldorf and is now an Eclipse Foundation project. The tool is based on (and part of) the Requirements Modeling Framework (RMF), which provides the core for ProR. The core was initially developed by itemis.
ProR is based on the ReqIF standard, which provides interoperability with Industry tools like IBM Doors and many others. ProR can be customized with Plug-Ins, and the first Plug-In to be developed is an integration with Rodin, a platform for formal system development.
The user guide is converted to Eclipse Help and included with ProR.