Adding DSet into the ANTLR grammar
Improved grammar for ReactiveRules and Goals, and added grammar for DomainTheory
Added stub rules for DomainTheory in LPSLoader
preconditions added to LPSLoader and LPSFlieManager
childrens of MultiChildNode are not symmetrical (starts closer to the center
postconditions introduced (along with classes and an interface)
adjusted gap between nodes and fluent arrow label position
PartialOrder node shows AND sign, DomainTheoryView & controller introduced, horizontal splitpane for domainTheoryView
LPSFileManager now a singleton.. to allow other controllers to access it
toString for Initiates and Terminates implemented, DomainTheoryView listens for change in isFileOpen property of LPSFileManager
DomainTheoryView simply displays all the post-conditions in plain text
DomainTheoryView contains both preconditions and postconditions, LPSFileManager resets isFileOpen on every 'openFile' call
ExitNode shape changed (small green rectangle)
thicker arrow
Title added for DatabaseView, Message close button shape changed
added a case for concurrent in ExecutionManager
Shift-click on action node's expand button opens the goal definition on a new window (buggy)
Zooming added with upper and lower limit (3, 0.1) for the scale. Translation and Scale for Canvas controller now use binding to DoubleProperty
CSS Stylesheet added
refactoring out css and styling from code to css (incomplete, especially for Arrow and ActionNode)