chiark / gitweb /
Extend proof to non-connected graphs; cosmetic improvements
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 28 Aug 2009 17:27:32 +0000 (18:27 +0100)
committerIan Jackson <Ian.Jackson@eu.citrix.com>
Fri, 28 Aug 2009 17:27:32 +0000 (18:27 +0100)
commitca87f8859bd503ffcaf7760879ffc746f967e2dd
tree5ccb12fe0adf5407db18f56a239e44d03670010b
parentd28e2807c293c638df1956d2dc65f3245d62d096
Extend proof to non-connected graphs; cosmetic improvements
yarrg/yppedia-chart-parser