etc/proofgeneral-settings.el
changeset 40347 429bf4388b2f
parent 32987 eac0ff83005e
child 41559 38f379224369
equal deleted inserted replaced
40346:58af2b8327b7 40347:429bf4388b2f