Hello.
After selecting the location of the workspace, an error appears with the suggestion to view the log file. Trying to run it on java 8 didn't help.
log:
Dear Paul,
The log file indicates that Java 13.0.1 was used. As far as I can tell, Rodin 3.4 only works with Java 8. For Java 9 and 10, some modifications required to rodin.ini for it to launch. I am quite certain that it does not work for later version of Java (due to the fact that it was built on top of Eclipse Oxygen 4.7.2).
Best regards,
Son
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Dear Paul,
The log file indicates that Java 13.0.1 was used. As far as I can tell, Rodin 3.4 only works with Java 8. For Java 9 and 10, some modifications required to rodin.ini for it to launch. I am quite certain that it does not work for later version of Java (due to the fact that it was built on top of Eclipse Oxygen 4.7.2).
Best regards,
Son
Rodin 3.5.0 will be based on Eclipse 2020-06 (4.16) and will work with Java 13.