-
Guillaume Melquiond authored
This removes the need for exporting the theory about marks and thus the resulting noise in the produced tasks. The patch is large due to the dependencies between files.
5fe2e452
Prochaines maintenances programmées: mardi 02/04, lundi 06/05, lundi 03/06
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
This removes the need for exporting the theory about marks and thus the resulting noise in the produced tasks. The patch is large due to the dependencies between files.