etc/proofgeneral-settings.el
changeset 30720 6d8dcfb264dc
parent 29145 b1c6f4563df7
child 32987 eac0ff83005e