etc/proofgeneral-settings.el
changeset 41024 ba961a606c67
parent 32987 eac0ff83005e
child 41559 38f379224369