- 4.2.1 Do I lose my proofs when I clean a project?
- 4.2.2 How do I install external plugins without using the Eclipse Update Manager?
- 4.2.3 The builder takes too long
- 4.2.4 What are the ASCII shortcuts for mathematical operators?
- 4.2.5 Pretty Print does not work on Linux
- 4.2.6 Some mathematical characters are wrong
- 4.2.7 No More Handles
- 4.2.8 Software installation fails
- 4.2.9 How do I send a bug report?
- 4.2.10 Where did the GUI window go?
- 4.2.11 Where vs. When: What’s going on?
Rodin Handbook
This work is sponsored by the Deploy Project
This work is sponsored by the ADVANCE Project
This work is licensed under a Creative Commons Attribution 3.0 Unported License
 |
 |
 |
Rodin User’s Handbook v.2.8 |  |
 |
 |
4.2 General Tool Usage
|
|
|
|
|
|