etc/proofgeneral-settings.el
changeset 42549 b9754f26c7bc
parent 41648 6d736d983d5c
equal deleted inserted replaced
42548:ea2a28b1938f 42549:b9754f26c7bc