| Mon, 10 Dec 2012 19:17:16 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 10 Dec 2012 17:44:17 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 10 Dec 2012 17:05:51 +0100 | wenzelm | removed somewhat pointless Edge_Transitive filter, as the graph is always reduced to its Hasse diagram, to have any chance to layout efficiently; | changeset | files |