Merge branch 'release/milestone-18' into develop
version bump
PROBCORE-618 allow the user to determine if the StateId should be explored by default.
Merge remote-tracking branch 'origin/develop' into develop
missing letter
ignore temp test file
can load file exported from Rodin (as .eventb file)
Merge remote-tracking branch 'origin/develop' into develop
some updates
the map of children in AbstractElement is mutable.
Merge remote-tracking branch 'origin/develop' into develop
fix bug in saving of traces
Fixed bug in ModelAPI
Fixed bug in ModelElementList implementation
PROBCORE-610 Renamed StateId class to be called State
PROBCORE-610 renamed OpInfo to Transition
PROBCORE-610 cleaned up Transition API
evaluateTransition -> evaluateTransitions PROBCORE-610
PROBCORE-610 fixed compiler error (don't know why eclipse didn't catch it)
fixes PROBCORE-603. Trying to load an invalid model results an IllegalArgumentException.