Changes in version 0.2.6 (2025-11-30)                  

  - 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.

                 Changes in version 0.2.5 (2025-10-06)                  

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

                        Changes in version 0.2.0                        

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

                        Changes in version 0.1.0                        

  - Release of main function and explanatory vignette.