Skip to content
Back to pull request #18713

Ltac2: importing a mutable definition does not undo its mutations #9541

Sign in to view logs

Ltac2: importing a mutable definition does not undo its mutations

Ltac2: importing a mutable definition does not undo its mutations #9541

Windows (64)

Windows (64)
succeeded Mar 18, 2024 in 41m 12s