etc/proofgeneral-settings.el
changeset 30399 a4772a650b4e
parent 29145 b1c6f4563df7
child 32987 eac0ff83005e
equal deleted inserted replaced
30398:d7ac4b7aa590 30399:a4772a650b4e