Merge branch 'release/2.4.15' into develop
version bump
add an abstract_constants node to the event b contexts. this node will be constructed by the eventb translation.
Merge branch 'develop' of github.com:bendisposto/probparsers into develop
fix prolog output of abstract constants in event b contexts
Added parser for theory to ProB mappings
fixed dependency in theory mapping parser
forgot to declare methods as "public"
increased version number
bump for release
Merge branch 'release/2.4.17'