added proofgeneral config file