Commit Graph

1 Commits

Author SHA1 Message Date
Ian Jauslin 15ee42222b Update to v0.5
Substantial simplification of the proof

Remove distinction between simple, evenly filled and enclosed graphs
2016-01-06 14:03:07 +00:00