etc/proofgeneral-settings.el
changeset 32494 4ab2292e452a
parent 29145 b1c6f4563df7
child 32987 eac0ff83005e
equal deleted inserted replaced
32493:457ea5ddbb9b 32494:4ab2292e452a