Mon, 04 Jan 2021 13:01:47 +0100 | wenzelm | tuned; | changeset | files |
Sun, 03 Jan 2021 23:16:32 +0100 | wenzelm | alternative shortcut, notably for macOS; | changeset | files |
Sun, 03 Jan 2021 23:06:37 +0100 | wenzelm | action isabelle.toggle-full-screen; | changeset | files |