MAJ terminée. Nous sommes passés en version 14.6.2 . Pour consulter les "releases notes" associées c'est ici :

  • Sylvain Dailler's avatar
    Json file to Json_base for compatibility with js_of_ocaml. · a478fd6d
    Sylvain Dailler authored
    Entry in Makefile to compile ocaml code to js (like trywhy3).
    Put why3webserver parsing/printing into Json_util.
    Split Itp_server into Itp_communication and Itp_server to isolate
    notification and request from the rest in an attempt to reduce
    a478fd6d 32.9 KB