For most recent information on Rodin including most recent release:
Rodin is implemented on Eclipse and can be installed on Mac OS X, Windows, and Linux.
Other advice may follow.
When you run Rodin you will be requested to name a workspace. The work space is a directory in which you will store projects. You should give some careful thought to where you put the workspace.
Rodin is not going to ask for this until you want to create an archive of a project. The archive directory should be close to your workspace, but should not be in the workspace.
When you first run Rodin you will be given a welcome window. Having read that you should then simply delete it.
In Eclipse terminology, windows are called views as they give a views of some part of the model. Initially all the views are accessible via a little rectangular box in the bottom left of the whole view. There is a little vertical separator to the left of that box. You can push the bar to move the box to another position on the page.
If you click on that box you can see all the views to which you have access.
It is recommended that you install the following views:
Once you have a satisfactory configuration you should save it as a perspective:
The Proof Control view should have the following tools in the toolbar
If it doesn’t then you have something missing. If the lassoo or the scissors are missing this is probably due to the vertical bars shifting: you can move these bars and the tools should reappear.