CafeOBJ 1.6.2 released
We have released a new version of CafeOBJ, which incorporates various fixes for PTcalc (formerly CITP), see further down for detailed changes. This release 1.6.2 provides a public release of the internal release 1.6.1. It also brings a switch away from providing ACL based builds, since the SBCL based builds […]