| Thu, 27 Apr 2017 11:41:13 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 27 Apr 2017 11:26:25 +0200 | wenzelm | clarified modules; | changeset | files |
| Thu, 27 Apr 2017 11:19:22 +0200 | wenzelm | more SQL operations; | changeset | files |
| Wed, 26 Apr 2017 16:30:11 +0200 | wenzelm | more robust (see also 6688b9cd443b); | changeset | files |
| Wed, 26 Apr 2017 16:13:05 +0200 | wenzelm | more robust treatment of non-UTF8 text files (cf. 3ed43cfc8b14), notably old log files in ISO-8859-15; | changeset | files |
| Wed, 26 Apr 2017 15:55:40 +0200 | wenzelm | clarified signature; | changeset | files |
| Thu, 27 Apr 2017 15:59:00 +0100 | paulson | New material (and some tidying) purely in the Analysis directory | changeset | files |