| Mon, 06 Feb 2023 15:50:49 +0100 | wenzelm | tuned --- implicit split; | changeset | files |
| Mon, 06 Feb 2023 15:46:27 +0100 | wenzelm | clarified signature; | changeset | files |
| Mon, 06 Feb 2023 15:35:18 +0100 | wenzelm | prefer explicit shasum: more robust due to explicit file names, which often work implicitly in LaTeX; | changeset | files |