Skip to content

add tests for checking that goals are correctly shown#585

Merged
hendriktews merged 1 commit into
ProofGeneral:masterfrom
hendriktews:missing-goals
Feb 18, 2024
Merged

add tests for checking that goals are correctly shown#585
hendriktews merged 1 commit into
ProofGeneral:masterfrom
hendriktews:missing-goals

add tests for checking that goals are correctly shown

3fd2d96
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs