| Sat, 15 Oct 2016 21:59:35 +0200 | wenzelm | more robust quasi-unique name; | changeset | files |
| Sat, 15 Oct 2016 21:37:19 +0200 | wenzelm | clarified signature: more static types; | changeset | files |
| Sat, 15 Oct 2016 21:08:04 +0200 | wenzelm | clarified hg.id operation, with explicit tip as default; | changeset | files |