Mercurial > hg > truffle
graph
-
IdealGraphPrinter: add the ability to specify edge labels in XML inputFri, 18 Nov 2011 14:24:27 +0100, by Peter Hofer
-
Register assumptions before anything else. Don't free code blob (it is reused).Thu, 17 Nov 2011 19:11:55 +0100, by Thomas Wuerthinger