etc/proofgeneral-settings.el
changeset 14192 d6cb80cc1d20
parent 11635 fd242f857508
child 29145 b1c6f4563df7
equal deleted inserted replaced
14191:2014eac694d2 14192:d6cb80cc1d20