Skip to content

hack: temporarily revert 'iIntros (x)' doing iStartProof

Ralf Jung requested to merge ralf/i-start-proof-hack into master

Fixes #533 (closed). Not a great fix but at least this should now be more backwards-compatible.

A proper fix is blocked on #535.

Merge request reports