-
POGODALLA Sylvain authored
First step towards integrating an "extend" keyword to allow for definition extensions of signatures and lexicons
766af35d
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
First step towards integrating an "extend" keyword to allow for definition extensions of signatures and lexicons