Coq: make printing parentheses flag accessible#785

hendriktews merged 1 commit into

ProofGeneral:masterProofGeneral/PG:masterfrom

hendriktews:parenhendriktews/PG:parenCopy head branch name to clipboard