Playing around with the css
Merge remote-tracking branch 'origin/develop' into develop
PROBCORE-392 Invariant violations are colored red again.
PROBCORE-390 Refactored state space so that getSSGraph() is no longer needed and no longer used.
Styling state space visualization
PROBCORE-393 Fixed. DynamicTransformers no longer disappear.
Switched out the loggers PROBCORE-158
Working on logger.
created the log view
Merge branch 'feature/logging' into develop
Removed annoying .probp file from version control
Fix the webconsole PROBCORE-395
PROBCORE-318 Improved evaluation mechanism. The Explore State Command now uses the ProB 2.0 formulas instead of checking state commands. All subscribed formulas are automatically evaluated and cached directly.
PROBCORE-318 Updated subscribe mechanism so that CSP formulas are ignored.
PROBCORE-395 If loading Rodin fails, a stupid message is not printed.
version bump
Merge branch 'release/2.0.0-milestone-11' into develop
trying to fix build
fixing fixing
artifactory does only accept snapshots