CafeOBJ 1.6.0 released

We have released a new version of CafeOBJ, which incorporates the following changes:

• CITP is officially renamed to PTcalc
  • documents are not updated yet
• PTcalc (CITP) enhancements
  • :init defined by :def is evaluated in the proof node to which it is applied
  • :init can be without substitution
• Search predicate enhancements
  • nested search is properly handled
  • show path accepts state specifier of the form depth-state
• Several bug fixes

Please see the download page for the source release, binary packages, and installation instructions.

Please report bugs to our Github project issue page.