Skip to content

move Frame instances to their own file

Ralf Jung requested to merge ralf/filesplit into gen_proofmode

I considered also moving the Make classes as I thought they are a framing implementation detail, but at least one of them (MakeLaterN) is also used elsewhere.

Merge request reports