| 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 |
| Sun, 21 Mar 2021 23:15:55 +0100 | wenzelm | clarified symbol names, notably relevant for Z_Notation; | changeset | files |