| Wed, 07 Jan 2015 14:19:06 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 07 Jan 2015 14:06:52 +0100 | wenzelm | misc tuning; | file | diff | annotate |
| Wed, 07 Jan 2015 00:10:23 +0100 | wenzelm | configurable options; | file | diff | annotate |
| Tue, 06 Jan 2015 23:56:13 +0100 | wenzelm | proper level distance according to number of edges, as in old browser; | file | diff | annotate |