• Sylvain's avatar
    graphical interfaces now reload libraries when doing reload · 65e37d3f
    Sylvain 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)
    65e37d3f
itp_server.ml 63.3 KB