| Wed, 31 Mar 2021 11:05:40 +0200 | wenzelm | clarified name; | changeset | files |
| Wed, 31 Mar 2021 10:57:18 +0200 | wenzelm | more systematic java_library: avoid empty entries, declaration order as for other bash functions; | changeset | files |
| Tue, 30 Mar 2021 12:32:24 +0200 | wenzelm | support sequential LaTeX jobs: more robust when TeX installation is self-installing packages etc.; | changeset | files |