Skip to content

Chapar 8.14.0 maintenance release
Compare
Choose a tag to compare
@palmskog palmskog released this 12 Jan 07:17
· 20 commits to master since this release
v8.14.0
bef9e05

Maintenance release compatible with Coq 8.14 and 8.15, featuring the following changes:

Changed

  • Add hint locality everywhere and consequently require Coq 8.14 or later

Fixed

  • Use consistent conventions for Require Import
Assets 2
Loading