etc/proofgeneral-settings.el
changeset 31532 43e8d4bfde26
parent 29145 b1c6f4563df7
child 32987 eac0ff83005e
equal deleted inserted replaced
31531:fc78714d14e1 31532:43e8d4bfde26