etc/proofgeneral-settings.el
changeset 11464 ddea204de5bc
parent 11061 9b9d48ce3b6c
child 11635 fd242f857508