Skip to content

Chapar 8.9.0 maintenance release
Compare
Choose a tag to compare
@palmskog palmskog released this 15 May 22:57
· 87 commits to master since this release
v8.9.0
a2a28a3

Maintenance release after move to Coq-community, with Coq 8.9 compatibility, featuring the following changes:

  • port from Coq 8.4
  • better organization of code into subdirectories
  • extracted code builds with modern OCaml (>= 4.05.0) and Batteries (>= 2.8.0)
  • modernize the build scripts to use coq_makefile features
Assets 2
Loading