| Tue, 06 Jan 2015 16:41:31 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 06 Jan 2015 16:33:30 +0100 | wenzelm | explict layout graph structure, with dummies and coordinates; | file | diff | annotate |
| Mon, 05 Jan 2015 23:29:38 +0100 | wenzelm | clarified visualizer parameters; | file | diff | annotate |
| Mon, 05 Jan 2015 22:41:09 +0100 | wenzelm | proper bounding box including dummies; | file | diff | annotate |
| Mon, 05 Jan 2015 22:29:38 +0100 | wenzelm | more direct coordinates for dummy; | file | diff | annotate |
| Mon, 05 Jan 2015 21:47:12 +0100 | wenzelm | separate module Metrics; | file | diff | annotate |
| Mon, 05 Jan 2015 14:13:38 +0100 | wenzelm | GUI.imitate_font: more explicit result size, e.g. relevant for caching; | file | diff | annotate |
| Mon, 05 Jan 2015 00:07:01 +0100 | wenzelm | more metrics, with integer coordinates for layout; | file | diff | annotate |