This release includes a parser for PDDL 3.0 files, improved coinduction support, new compiler flags allowing passing options to the back-end Prolog compiler, improved meta-predicate support, updated examples, minor dynamic binding performance improvements, updated support for several text editors, fixes for all know bugs, and portability updates for ECLiPSe, Lean Prolog, Qu-Prolog, SICStus Prolog, XSB, and YAP.