Skip to content

Fix priority of `Permutation_app'`.

Robbert Krebbers requested to merge robbert/Permutation_app into master

This is a workaround for https://github.com/coq/coq/issues/14571

This fixes #114 (closed).

This fixes a regression caused by !270 (merged).

Merge request reports