| Thu, 11 Mar 2021 20:30:56 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 11 Mar 2021 12:16:17 +0100 | wenzelm | clarified components; | changeset | files |
| Thu, 11 Mar 2021 07:05:38 +0000 | haftmann | avoid name clash | changeset | files |
| Thu, 11 Mar 2021 07:05:29 +0000 | haftmann | lemma | changeset | files |
| Thu, 11 Mar 2021 11:22:25 +0100 | wenzelm | tuned; | changeset | files |
| 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 |
| 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 |
| Tue, 09 Mar 2021 17:31:51 +0100 | wenzelm | obsolete (see 0c837beeb5e7); | changeset | files |