History of a file

0 files at the head of the history

A file here is an identity rather than a path, so renaming a file does not start a second history and this view follows the same file under its new name. The whole history, grouped by the marks that name points in it, is under Log.

There are no live files to account for.