| Fri, 17 Mar 2017 10:03:00 +0100 | wenzelm | clarified data representation; | changeset | files |
| Fri, 17 Mar 2017 09:49:01 +0100 | wenzelm | data representation with XML.Cache; | changeset | files |
| Fri, 17 Mar 2017 09:33:58 +0100 | wenzelm | clarified name; | changeset | files |
| Thu, 16 Mar 2017 23:33:39 +0100 | wenzelm | SQL database operations for combined session info; | changeset | files |
| Thu, 16 Mar 2017 23:27:29 +0100 | wenzelm | prefer non-strict default; | changeset | files |
| Thu, 16 Mar 2017 23:26:16 +0100 | wenzelm | clarified signature (again, see also 3ed43cfc8b14); | changeset | files |
| Thu, 16 Mar 2017 21:22:01 +0100 | wenzelm | tuned signature; | changeset | files |
| Thu, 16 Mar 2017 21:09:13 +0100 | wenzelm | tuned; | changeset | files |