# Pinference 0.2.6

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


# Pinference 0.2.5

* Corrected links in documentation.
* New examples with inequality constraints.
* Initial CRAN submission.


# Pinference 0.2.0

* New default notation, closer to the mathematical one.
* New argument `solidus =` to select new (default) or old notation.


# Pinference 0.1.0

* Release of main function and explanatory vignette.
