Mentions légales du service

Skip to content

Restore backward compatibility with Flocq 3.0.0

Pierre Roux requested to merge restore_compat into master

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.

Merge request reports