Thu, 26 Nov 2020 16:08:39 +0100 | wenzelm | clarified signature; | changeset | files |
Thu, 26 Nov 2020 15:59:09 +0100 | wenzelm | clarified signature: initial markup is_empty, not init_markup; | changeset | files |
Thu, 26 Nov 2020 15:49:27 +0100 | wenzelm | clarified signature: prefer high-level Snapshot over low-level Command.State; | changeset | files |