| Tue, 06 Jan 2015 23:56:13 +0100 | wenzelm | proper level distance according to number of edges, as in old browser; | changeset | files |
| Tue, 06 Jan 2015 23:35:57 +0100 | wenzelm | clarified Vertex.Ordering, to approximate situation before 4d985afc0565, which is relevant for level arrangement; | changeset | files |
| Tue, 06 Jan 2015 23:23:26 +0100 | wenzelm | tuned; | changeset | files |