working on rodin3 compatibility
fixing errors in units plugin
fix disprover ui
RodinDBException -> CoreException
RodinDBExceptoion -> CoreException
Even more CoreException + Removed FormulaFactories from arguments
TypeEnvironment / TypeEnvironmentBuilder changes for Rodin3
magic gradle stuff to bump parser version
this is not backwards compatible: increase all minimal version numbers of rodin/event-b dependencies
Merge branch 'develop' into rodin3
merge develop into rodin3 branch
move file to make external access possible
Merge branch 'develop' into rodin3
Merge branch 'develop' into rodin3
merged develop
Merge branch 'develop' into rodin3
Merge branch 'develop' into rodin3
Merge branch 'develop' into rodin3
Merge branch 'develop' into rodin3
update deps for rodin3