Ian Jauslin
summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2016-01-06Update to v0.5v1.0v0.5Ian Jauslin
Substantial simplification of the proof Remove distinction between simple, evenly filled and enclosed graphs