Skip to content

let users access iFrame helper tactics

Ralf Jung requested to merge ralf/iframe-tacs into master

Perennial has a custom iFrame implementation that's less powerful but faster; it needs these tactics exposed if it shouldn't copy them.

Local Ltac is entirely unavailable to other modules (not even in qualified form), so not making these Local seems to be the only way.

Merge request reports