-
Sylvain Dailler authored
Complete creation of the tree session in ide(todo: decide what to print). Added a table proofnodeID -> gtk_tree_iter to provide to callbacks. Added callbacks that change the IDE output.
7bca0332
Complete creation of the tree session in ide(todo: decide what to print). Added a table proofnodeID -> gtk_tree_iter to provide to callbacks. Added callbacks that change the IDE output.