-
Sylvain Dailler authored
After 11f28a8a, why3ide would not reload dependency libraries when reloading a file. This implements 2 modes for reload_files: - reload with libraries and drivers (intended for IDEs and graphical interfaces) - reload only the current file (intended to optimize Why3 used in scripts files)
45ec32e6