fixed EventB parsing
renamed History to Trace
Commiting everything
Created some slides.
PROBCORE-381
Merge remote-tracking branch 'origin/develop' into develop
Merge remote-tracking branch 'origin/feature/presentation' into feature/presentation
Merge remote-tracking branch 'origin/develop' into feature/presentation
PROBCORE-381 Fixed major bug in submitting
PROBCORE-381 Better exception handling
set deadlock state in views after cbc deadlock check
Merge branch 'develop' of github.com:bendisposto/prob2 into develop
Merge remote-tracking branch 'origin/develop' into feature/presentation
color