etc/proofgeneral-settings.el
changeset 50222 40e3c3be6bca
parent 41648 6d736d983d5c