etc/proofgeneral-settings.el
changeset 41081 fb1e5377143d
parent 32987 eac0ff83005e
child 41559 38f379224369