merged

added lemma

proper default for disjunction (amending 9f7a94117666);

tuned;

more operations;

avoid option -C: free this latter for build-related configuration;

more direct indentation, using Symbol.spaces;

clarified signature;

more accurate treatment of surrounding whitespace;

obsolete (see also f627ab8c276c);

tuned signature;

clarified signature: Command_Span.Kind already contains keyword_kind, so parsing document structure no longer requires Keyword.Keywords;

clarified modules;

tuned signature;

tuned;

proper Option.Spec.toString for bash script: avoid Token.quote_name of Options.Spec.print_value (amending 3d1746a716fa, see also 39f6f180008d);

more tests;

clarified exploration of history: more uniform options;

tuned;

tuned;

enable multi-builds (again, see also 0c7419d3dd59);

explore history more thoroughly;

tuned signature;

clarified "recent" time: days <= 0 means infinity (no constraint);

tuned whitespace;

proper exploration of older history: avoid premature fallback on current "rev" (see also d3d5cb2d6866, 6706d6f0afda);

clarified signature;

tuned output;

tuned;

tuned message;