-
François Bobot authored
prover shortcuts: the shortcuts information can be in the prover section in order to reduce the number of section in why3.conf
4b6bea69
prover shortcuts: the shortcuts information can be in the prover section in order to reduce the number of section in why3.conf