User Manual for Rodin v.2.3: Install Rodin for the first time

2.3.1 Install Rodin for the first time

2.3.1.1 Step 1: Download

The first step is to download Rodin. Rodin is available for download at the Rodin Download page (4.1.5)

Rodin is available for Windows, Mac OS, and Linux. No matter which platform you use, the distribution is always packed in a zip-file. Download the zip file for your system anywhere on your PC.

$\includegraphics[width=7mm]{img/info_64.png}$
It is recommended that you download the latest stable version.

2.3.1.2 Step 2: Install and Run Rodin

To install Rodin, extract the contents of the zip file to a desired directory. You can run the tool by using the rodin executable.

Starting Rodin should bring up a welcome screen. It provides some quick guidance to Rodin. In particular, it provides instructions on installing the provers.

$\includegraphics[width=7mm]{img/warning_64.png}$
Please install the provers right away. It is easy and only takes a few clicks.

After dismissing the welcome screen, you should see the window shown in Figure 2.1. Here you can specify the path where Rodin stores your projects.

$\includegraphics{img/tutorial/tut_02_install1.png}$

Figure 2.1: Eclipse Workspace Launcher

After specifying a path click on the OK button. Rodin should start and bring up the window shown in Figure 2.2.

$\includegraphics[width=7mm]{img/warning_64.png}$
When using a Linux distribution, a welcome window may open up. Exit out of this window to get to the main screen. Other problems can also occur when installing Rodin in Linux. See the release notes for details.¹

$\includegraphics{img/tutorial/tut_02_install2.png}$

Figure 2.2: Rodin GUI

As already mentioned in Section 2.2.6, the GUI of an Eclipse application consists of views, editors, toolbars, quickviews, perspectives and many more elements. We name the different Rodin GUI elements (i.e. views) which are visible after starting Rodin for the first time and explain their functions:

Menu bar (3.1.2.1): The menu bar of the Rodin programs provides file and edit operations and other commands.
Tool bar (3.1.2.2): The tool bar provides short cuts for familiar commands like save, print, undo and redo.
Event-B Explorer (3.1.2.7): The Event-B Explorer shows the projects’ tree structures. It has projects as main entries and for each one its corresponding project files.
Outline View (3.1.2.4): A view used to view the outline of the active editor or file respectively.
Rodin Problems view (3.1.2.5): The Rodin Problems View shows problems (e.g., syntax errors) in the active editor.
Symbols View (3.1.2.6): A view that shows a list of available mathematical symbols which can be used in conjunction with the mathematical notation (3.3).
Editor View (3.1.2.3): The editor view contains the active editor.

Rodin Handbook

2.3.1 Install Rodin for the first time

2.3.1.1 Step 1: Download

2.3.1.2 Step 2: Install and Run Rodin