style for <dl> that is reminiscent of LaTeX;

more systematic HTML.init_dir with css;

prefer logical markup;

extra space only for some structual elements, but not <a>, <b>, <em> etc. (amending 8a0fe5469ba0);

tuned signature;

implicitly check for unknown files (not part of a Mercurial repository);

prefer explicit progress channel;

prefer explicit progress channel;

more explicit warning/error messages;

tuned signature;

tuned;

clarified interface;

more robust command invocation, without defaults from hgrc;

clarified: repository files before commit;

eliminated suspicious Unicode;

clarified notion of known files (before actual commit);

explore older history;

explicit history_base;

explore repository structure, with minimal assumptions about "hg log" output;

avoid hardlinks, for more robustness on Windows file-systems;

added function arg_min

merged

added lemma

obsolete (see also bdd17b18e103, f533820e7248);

relaxed theory dependencies

explicit theory for factorials

more lemmas

explore older history;