Skip to content

Tweak priority of proof mode instances for £.

Robbert Krebbers requested to merge robbert/lc_proofmode_fix into master

This closes issue #470 (closed) and a similar issue for iSplit.

Merge request reports