| 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 |
| Mon, 29 Mar 2021 12:26:13 +0100 | paulson | removal of needless hypothesis in hd_rev and last_rev | changeset | files |
| Sun, 28 Mar 2021 12:21:37 +0200 | wenzelm | more robust; | changeset | files |