v0.2.6
- It is now possible to use the two-argument function
ifthen()instead of>. - Updated documentation about choice of logical notation, emphasizing possible non-standard connective precedence.
inferP()now issues a warning if!is used for "not" together with* + >, owing to very error-prone connective precedence with this combination.