-
Sylvain Dailler authored
This contains a change to constructor Task of itp_communication.mli which makes the itp interface incompatible with previous version (frontends have to be updated).
81c8cd83
To find the state of this project's repository at the time of any of these versions, check out the tags.