etc/proofgeneral-settings.el
changeset 36920 62e4af74a70a
parent 32987 eac0ff83005e
child 41559 38f379224369
equal deleted inserted replaced
36918:e65f8d253fd1 36920:62e4af74a70a