| Sat, 07 Sep 2019 16:17:30 +0200 | wenzelm | clarified session_directories: relative to session_path, with overlapping information; | changeset | files |
| Sat, 07 Sep 2019 15:18:06 +0200 | wenzelm | clarified signature: retain global session information, unaffected by later restriction; | changeset | files |
| Sat, 07 Sep 2019 14:50:38 +0200 | wenzelm | disable fragile options for now; | changeset | files |
| Sat, 07 Sep 2019 12:16:11 +0200 | wenzelm | avoid overlapping session directories; | changeset | files |
| Sat, 07 Sep 2019 12:11:42 +0200 | wenzelm | support for explicit session directories; | changeset | files |
| Fri, 06 Sep 2019 20:29:09 +0200 | wenzelm | obsolete (see 94442fce40a5); | changeset | files |
| Fri, 06 Sep 2019 20:23:31 +0200 | wenzelm | optional trace output; | changeset | files |