generic method for passing parameter from template file (via meta tags)
PROBCORE-471 Updated Formula Visualization so that it automatically expands to fill up empty space when the window is resized.
implemented observer in groovy (removed from javascript)
trigger observer after reloading page
get correct json fill + set incremental update to false
Have to remove weird escaped backslashes that Rodin randomly inserts into element names within a path. PROBCORE-473
cleanup ...
only trigger tracechange if trace exsists ...
json files can be added via meta tags (like groovy scripts) + better
handling of registered formulas
Working on UI Stuff
LTL UI now works for Chrome
Merge remote-tracking branch 'origin/develop' into feature/modelcheckingRefactor
PROBCORE-471 Refactored Animator so that it blocks when model checking is taking place.