| Mon, 09 Oct 2017 22:03:05 +0200 | wenzelm | tuned: less oo-non-sense; | changeset | files |
| Mon, 09 Oct 2017 21:43:27 +0200 | wenzelm | operations for graph display; | changeset | files |
| Mon, 09 Oct 2017 21:12:22 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 09 Oct 2017 20:26:02 +0200 | wenzelm | dependencies of entries vs. sessions; | changeset | files |
| Mon, 09 Oct 2017 17:09:08 +0200 | wenzelm | some administrative support for AFP; | changeset | files |
| Mon, 09 Oct 2017 17:08:37 +0200 | wenzelm | tuned; | changeset | files |