| Sat, 21 Nov 2020 17:57:54 +0100 | wenzelm | more interrupts; | changeset | files |
| Sat, 21 Nov 2020 17:30:44 +0100 | wenzelm | clarified messages; | changeset | files |
| Sat, 21 Nov 2020 17:12:17 +0100 | wenzelm | clarified document output; | changeset | files |
| Sat, 21 Nov 2020 16:22:35 +0100 | wenzelm | clarified messages; | changeset | files |
| Sat, 21 Nov 2020 16:07:20 +0100 | wenzelm | clarified PDF/HTML presentation, based on pdf blobs from session database (e.g. from earlier builds); | changeset | files |
| Sat, 21 Nov 2020 15:20:12 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 21 Nov 2020 00:29:41 +0100 | wenzelm | more standard imports; | changeset | files |
| Fri, 20 Nov 2020 23:53:37 +0100 | wenzelm | tuned signature; | changeset | files |