blob: 1f8dcd3992c21c4f9bb4d46d318b02fd946c5360 (
plain)
1
2
3
4
5
|
- **Removed:**
Unqualified ``polymorphic``, ``monomorphic``, ``template``,
``notemplate`` attributes (they were deprecated since Coq 8.10).
Use them as sub-attributes of the ``universes`` attribute (`#11663
<https://github.com/coq/coq/pull/11663>`_, by Théo Zimmermann).
|
