You need to sign in or sign up before continuing.
Exceptional GitLab maintenance is scheduled for June 19, 2025. The service will be unavailable between 12am and 2pm. Please do not work on the platform until an announcement indicates that maintenance is complete.
Correction of 2 links that refered to allgo.inria.fr. I changed them to allgo18.inria.fr. Note I do not alter api.rst links as it is already done in branch sletort. I also not alter samusa link, even if it refers to the old version, as no version of samusa is available in the new site.