Mise à jour terminée. Pour connaître les apports de la version 13.8.4 par rapport à notre ancienne version vous pouvez lire les "Release Notes" suivantes :
https://about.gitlab.com/releases/2021/02/11/security-release-gitlab-13-8-4-released/
https://about.gitlab.com/releases/2021/02/05/gitlab-13-8-3-released/

  • MARCHE Claude's avatar
    simplified contextual menu · 0c0513a5
    MARCHE Claude authored
    The contextual menu inkoved by mouse-3 is now simplified: it contains only
    the strategies and the provers that are marked visible in the preferences
    0c0513a5
why3ide.ml 78 KB