• 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
why3ide.ml 24.3 KB