etc/proofgeneral-settings.el
changeset 30151 629f3a92863e
parent 29145 b1c6f4563df7
child 32987 eac0ff83005e
equal deleted inserted replaced
30150:4d5a98cebb24 30151:629f3a92863e