| Sun, 08 Oct 2017 12:36:00 +0200 | wenzelm | proper output of raw ML; | changeset | files |
| 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 |