blob: 12a68e208f49678e0daccf10c30796581405f1b4 (
plain)
1
2
3
4
5
6
|
- **Changed:**
Notations [|x|] and [||x||] for morphisms from 63-bit integers to Z and
zn2z int have been removed in favor of φ x and Φ x respectively. These
notations were breaking Ltac parsing.
(`#11686 <https://github.com/coq/coq/pull/11686>`_,
by Maxime Dénès).
|
