• 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
why3ide.ml 29.7 KB