| Sat, 09 Mar 2019 23:57:07 +0100 | wenzelm | clarified signature; | changeset | files |
| Sat, 09 Mar 2019 13:35:49 +0100 | wenzelm | added glyph for \<marker>; | changeset | files |
| Sat, 09 Mar 2019 13:24:59 +0100 | wenzelm | tuned proof; | changeset | files |
| Sat, 09 Mar 2019 13:19:13 +0100 | wenzelm | clarified Toplevel.state: more explicit types; | changeset | files |