etc/proofgeneral-settings.el
changeset 42025 cb5b1e85b32e
parent 41648 6d736d983d5c
equal deleted inserted replaced
42024:51df23535105 42025:cb5b1e85b32e