Mentions légales du service

Skip to content
  • 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
    dependencies.
    a478fd6d