| Mon, 28 Sep 2020 16:23:15 +0200 | wenzelm | obsolete, T1 fonts are fine in lualatex (see also cc71f01f9fde); | changeset | files |
| Mon, 28 Sep 2020 15:37:12 +0200 | wenzelm | prefer old-fashioned {\ss} to prevent problems with encoding in lualatex; | changeset | files |
| Mon, 28 Sep 2020 14:55:37 +0200 | wenzelm | proper Windows 32bit platform; | changeset | files |