-
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