| Wed, 10 Mar 2021 19:03:24 +0100 | wenzelm | more robust init: avoid spilling opam artifacts; | changeset | files |
| Tue, 09 Mar 2021 21:11:05 +0100 | wenzelm | proper type-setting of cartouches (requires T1); | changeset | files |
| Tue, 09 Mar 2021 20:00:44 +0100 | wenzelm | provide \usepackage{textcomp} (again), for the sake of Ubuntu 16.04; | changeset | files |