| Wed, 31 Mar 2021 11:24:46 +0200 | wenzelm | clarified (again): local tip could be actually more recent; | changeset | files |
| Wed, 31 Mar 2021 11:21:08 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 31 Mar 2021 11:17:45 +0200 | wenzelm | tuned; | changeset | files |
| 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 |
| Tue, 30 Mar 2021 09:42:25 +0200 | nipkow | updated to latest latex due to new mechanism for dealing with bold ccfonts | changeset | files |