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