Formulas containing strings can now be turned into Mma functions for computation
"a+(-b)" is now printed as "a-b"
Mathematica functions can now be accessed via prefix "\[Wolf]". This works both in function definitions originating from formulas, as well as directly in computation cells.
Built-in arithmetic functions are only turned into their Mathematica counterparts if this results in an essentially new expression. This is not yet optimal, since no simplification w.r.t. several functions can be achieved now.
Bugfix: "\[Wolf]" functions are now correctly turned into Mathematica functions in 'transferToComputation'
Bugfix: Added "HoldRest" attribute to "NotExists" quantifier
Updated documentation of built-ins, operators, domains and sequence variables
Minor GUI changes: Button arrangement in commander, about-Tab, license-tab
Merge remote-tracking branch 'amaletzk/master'
solving improved

simple cases added, where formula to be solved is not a conjunction
Standard New Cell in environment