etc/proofgeneral-settings.el
changeset 11464 ddea204de5bc
parent 11061 9b9d48ce3b6c
child 11635 fd242f857508
equal deleted inserted replaced
11463:96b5b27da55c 11464:ddea204de5bc