add tests for checking that goals are correctly shown#585

hendriktews merged 1 commit into

ProofGeneral:masterProofGeneral/PG:masterfrom

hendriktews:missing-goalshendriktews/PG:missing-goalsCopy head branch name to clipboard