| Sat, 07 Oct 2017 20:31:01 +0200 | wenzelm | theory qualifier is always session name (see also 31e8a86971a8); | changeset | files |
| Sat, 07 Oct 2017 20:20:03 +0200 | wenzelm | clarified session structure; | changeset | files |
| Sat, 07 Oct 2017 15:21:25 +0200 | wenzelm | discontinued somewhat pointless session group: -g ZF may be replaced by -D ~~/src/ZF; | changeset | files |