| Tue, 09 Mar 2021 20:00:44 +0100 | wenzelm | provide \usepackage{textcomp} (again), for the sake of Ubuntu 16.04; | changeset | files |
| Tue, 09 Mar 2021 18:52:24 +0100 | wenzelm | more robust; | changeset | files |
| Tue, 09 Mar 2021 18:44:43 +0100 | wenzelm | removed unused latex packages; | changeset | files |