etc/proofgeneral-settings.el
changeset 33177 edbd2c09176b
parent 32987 eac0ff83005e
child 41559 38f379224369