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 :

  • 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.
session_itp.mli 5.58 KB