| Sun, 14 May 2017 15:34:20 +0200 | wenzelm | clarified notion of known files (before actual commit); | changeset | files |
| Sun, 14 May 2017 15:16:38 +0200 | wenzelm | explore older history; | changeset | files |
| Sun, 14 May 2017 15:13:56 +0200 | wenzelm | explicit history_base; | changeset | files |
| Sun, 14 May 2017 15:07:13 +0200 | wenzelm | explore repository structure, with minimal assumptions about "hg log" output; | changeset | files |