1.2.0

• Upgrade minimum required versions of the dependencies to Coq 8.10 and Mathcomp 1.10
• Simplify some proofs
• Various maintenance fixes: warnings, opam file tweaks

1.1.0

• Extend supported Coq and Mathcomp versions (check opam info coq-fcsl-pcm.1.1.0 for the current supported versions)
• ordtype module: add reflexivity lemma for oleq
• heap module : rename path_last into path_last_nat to avoid name clashes with ordtype's path_last
• Rename Make into_CoqProject to make it more uniform across Coq projects
• Switch to opam 2.0 file format
• Various maintenance fixes: warnings, typos, etc.

1.0.0

The first public release of the FCSL-PCM library