etc/proofgeneral-settings.el
changeset 37891 c26f9d06e82c
parent 32987 eac0ff83005e
child 41559 38f379224369
equal deleted inserted replaced
37890:aae46a9ef66c 37891:c26f9d06e82c