Remove builtin values in why3.conf
-
remove standard library loadpath -
remove plugins -
réduire les infos contenues dans why3.conf -> les infos qui sont des copies extraites de prover-detection-data.conf ne devraient pas être copiées mais relues depuis prover-detection-data.conf à chaque démarrage de why3 -
Faire fonctionner add-prouveur. -
Problème de save dans l'IDE