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/

  • Sylvain Dailler's avatar
    Clear command after request is sent. · 51c0880b
    Sylvain Dailler authored
    (ide) new_node returns the row_ref of new node. So that we can go to
    the ggoal generated by transformation (convenience).
    Changed the update of the proof_status in controller_itp. update_node
    functions now take a callback called notification which is actually
    P.notify (node_change).
    Put type any inside session_itp.ml.
    51c0880b
session_itp.mli 5.58 KB