Recent changes .. ifconfig:: not is_a_released_version .. include:: ../unreleased.rst Previous versions The standard library historically used to be distributed with Coq, please look in Coq own changelog for details about older changes.