etc/proofgeneral-settings.el
changeset 42025 cb5b1e85b32e
parent 41648 6d736d983d5c