-
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