| 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 |
| Tue, 09 Mar 2021 17:15:21 +0100 | wenzelm | proper Isabelle/Scala tool --- avoid perl; | changeset | files |
| Tue, 09 Mar 2021 14:20:27 +0100 | traytel | generalized confluence-based subdistributivity theorem for quotients; | changeset | files |
| Tue, 09 Mar 2021 11:50:21 +0100 | desharna | Backed out changeset 3fdb94d87e0e | changeset | files |