Restructure Why3 configuration and autoconfiguration
- The rc file in the configuration (`Whyconf.t) contains only the user rc file (.why3.conf)
- Only the function
Whyconf.User.*
modifies this rc file - The generation of the builtin provers is done before loading the user rc files which as the priority
-
why3 config
loses the option --detect* -
why3 config
don't detect plugins anymore
- Only the function
Edited by François Bobot