-
Pierre Roux authored
The change of "Variable Hp : (0 < prec)%Z" to a typeclass in file Prop/Relative.v in previous commit 7ec13200 might appeared sensible but it broke backward compatibility with Flocq 3.0.0. This commit restores it.
f21e3374
La mise à jour de gitlab est terminée. Nous sommes désormais en version 16.11.1
Merci de consulter la release note:
https://about.gitlab.com/releases/2024/04/18/gitlab-16-11-released/
The change of "Variable Hp : (0 < prec)%Z" to a typeclass in file Prop/Relative.v in previous commit 7ec13200 might appeared sensible but it broke backward compatibility with Flocq 3.0.0. This commit restores it.