Remove the V82 compatibility layers.

coq-community / aac-tactics

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

https://coq-community.org/aac-tactics

Other

29 stars 21 forks source link

Remove the V82 compatibility layers. #104

Closed ppedrot closed 2 years ago

ppedrot commented 2 years ago

Should be backwards compatible.

palmskog commented 2 years ago

Thanks. I guess these layers are getting removed soon, is there a particular Coq issue/PR to track?

ppedrot commented 2 years ago

Not that I know of, but this is stuff that has been lingering around since 8.5 (2014).