Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Mark in the DTD which tags are deprecated, and deprecate <model_prop>