| Mon, 22 Mar 2021 00:07:55 +0100 | wenzelm | clarified package name (actually both pxfonts and txfonts exist and have this font); | changeset | files |
| Sun, 21 Mar 2021 23:56:54 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 21 Mar 2021 23:24:20 +0100 | wenzelm | prefer isabelle bbbfont; | changeset | files |
| Sun, 21 Mar 2021 23:16:34 +0100 | wenzelm | enforce full build; | changeset | files |