Move several elements at once in Rodin Editor
Remove SpecializationFixed, as the fix is now i...
Fix NPE in Rodin Editor
Update Atelier-B versions
Translate all extensions in prover call
Protect against deleted SC/deployed theory file
Verify that deployed root exists.
Fix JRE in classpath to match 1.6 declared in m...