Commit a999e872 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Mention IZR.

parent 2ec532a8
......@@ -3,6 +3,7 @@ Version 3.0.0:
- renamed canonic_exp into cexp, canonic into canonical
- changed FLX, FIX, FLT, FLXN, FTZ_format into inductive types
- changed nan_pl into a boolean predicate
- replaced Z2R with Coq 8.7's IZR
Version 2.5.2:
- ensured compatibility from Coq 8.4 to 8.6
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment