etc/proofgeneral-settings.el
changeset 24825 c4f13ab78f9d
parent 11635 fd242f857508
child 29145 b1c6f4563df7
equal deleted inserted replaced
24824:b7866aea0815 24825:c4f13ab78f9d