| Thu, 11 Mar 2021 10:25:04 +0100 | traytel | another example for lift_bnf for quotients | changeset | files |
| Wed, 10 Mar 2021 21:55:28 +0100 | wenzelm | merged | changeset | files |
| Wed, 10 Mar 2021 20:09:26 +0100 | wenzelm | proper \usepackage[T1]{fontenc}; | changeset | files |
| 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 |