| Fri, 20 Mar 2020 22:41:49 +0100 | wenzelm | more NEWS; | changeset | files |
| Fri, 20 Mar 2020 20:23:40 +0100 | wenzelm | avoid premature crash due to missing session parents/imports; | changeset | files |
| Fri, 20 Mar 2020 19:55:42 +0100 | wenzelm | avoid accidental update of base session sources (following documentation in "system" manual); | changeset | files |