Fri, 19 Dec 2014 11:18:00 +0100 |
desharna |
document 'case_distrib'
|
changeset |
files
|
Mon, 05 Jan 2015 06:56:15 +0100 |
blanchet |
tuning
|
changeset |
files
|
Fri, 19 Dec 2014 11:17:23 +0100 |
desharna |
generate 'case_distrib' for Ctr_Sugars
|
changeset |
files
|
Mon, 05 Jan 2015 00:07:01 +0100 |
wenzelm |
more metrics, with integer coordinates for layout;
|
changeset |
files
|
Sun, 04 Jan 2015 21:53:05 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Sun, 04 Jan 2015 21:29:52 +0100 |
wenzelm |
misc tuning;
|
changeset |
files
|
Sun, 04 Jan 2015 21:01:27 +0100 |
wenzelm |
explicit Layout.Point;
|
changeset |
files
|
Sun, 04 Jan 2015 16:45:41 +0100 |
wenzelm |
tuned comments;
|
changeset |
files
|
Sun, 04 Jan 2015 15:23:23 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Sun, 04 Jan 2015 14:05:24 +0100 |
wenzelm |
clarified static full_graph vs. dynamic visible_graph;
|
changeset |
files
|
Sun, 04 Jan 2015 13:34:42 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
Sat, 03 Jan 2015 22:56:46 +0100 |
wenzelm |
tuned -- more iterators;
|
changeset |
files
|
Sat, 03 Jan 2015 22:34:18 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Sat, 03 Jan 2015 22:04:31 +0100 |
wenzelm |
clarified fit_to_window: floor scale within window bounds;
|
changeset |
files
|