• MARCHE Claude's avatar
    Various improvements in IDEs · d0d5849b
    MARCHE Claude authored
    - handling missing queries and notifications
    - turn strategie messages into true debug messages
    - trying to grab the focus in the entry zone as much as possible
    - write_file put in sysutil
    d0d5849b
why3ide.ml 32.7 KB