-
Guillaume Melquiond authored
Why3 now looks for a %l/{coq,pvs}/version file to check which version of a prover was used to compile realizations. In particular, there is no longer any Config.compile_time_support variable set once and for all.
7707e9ec