No information when failing to launch external provers
No information when failing to launch external provers
Update VM arguments
crash of Rodin V3.4 when opening workspace
AtelierB plug-in 2.2.0 broken
AtelierB 2.2.1 has been released on the update site.
Proof view: unreadable formulas (white on white)
Fixed in Rodin 3.4 by switching to Eclipse Oxygen 4.7.2 which contains the SWT bug fix.