CHANGES.md · 1d1515e3e267b1ce861f1fe9011f6a1e6f26d426 · Jean-Christophe Filliâtre / why3 · GitLab

Mentions légales du service

La vérification des quotas de chaque projet est mise en place en mode non bloquant. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
Quota verification is enabled for projects in non-blocking mode. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656

Mise à jour GitLab terminée. Nous sommes désormais en version 17.7.0 : https://about.gitlab.com/releases/2024/12/19/gitlab-17-7-released/

May 06, 2019

ide: Automatic scrolling to location now uses goal location fix #296 · 81c8cd83

Sylvain Dailler authored May 06, 2019

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

ide: Automatic scrolling to location now uses goal location fix #296

Sylvain Dailler authored May 06, 2019

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).

To find the state of this project's repository at the time of any of these versions, check out the tags.