Paradoxika/Skeptik — pull request #18 by Jogo27 (2012-10-13 13:36:55+00:00)
Title: EdgesToDelete bugfix

It is now possible to delete both premises of a resolution node. Moreover, there's no need to delete each incoming edge to delete a node (possible speed improvement).

My talk's slide is on this pull request too. Perhaps should we delete it now from the master branch.