Thu, 09 Nov 2023 14:22:19 +0100 wenzelm clarified signature: more operations;
Thu, 09 Nov 2023 13:31:09 +0100 wenzelm support for explicit SSH hostname;
Thu, 09 Nov 2023 11:30:33 +0100 wenzelm proper local host (amending 62d7ef1da441);
Wed, 08 Nov 2023 21:45:02 +0100 nipkow merged
Wed, 08 Nov 2023 21:44:44 +0100 nipkow added lemma
Wed, 08 Nov 2023 20:31:29 +0100 wenzelm proper default for disjunction (amending 9f7a94117666);
Wed, 08 Nov 2023 19:04:44 +0100 wenzelm tuned;
Wed, 08 Nov 2023 16:05:22 +0100 wenzelm more operations;
Wed, 08 Nov 2023 15:37:15 +0100 wenzelm avoid option -C: free this latter for build-related configuration;
Wed, 08 Nov 2023 15:10:19 +0100 wenzelm more direct indentation, using Symbol.spaces;
Wed, 08 Nov 2023 13:14:59 +0100 wenzelm clarified signature;
Wed, 08 Nov 2023 13:00:24 +0100 wenzelm more accurate treatment of surrounding whitespace;
Wed, 08 Nov 2023 12:41:41 +0100 wenzelm obsolete (see also f627ab8c276c);
Wed, 08 Nov 2023 12:00:29 +0100 wenzelm tuned signature;
Wed, 08 Nov 2023 11:53:38 +0100 wenzelm clarified signature: Command_Span.Kind already contains keyword_kind, so parsing document structure no longer requires Keyword.Keywords;
Tue, 07 Nov 2023 15:59:02 +0100 wenzelm clarified modules;
Tue, 07 Nov 2023 12:06:59 +0100 wenzelm tuned signature;
Tue, 07 Nov 2023 12:06:50 +0100 wenzelm tuned;
Tue, 07 Nov 2023 12:02:34 +0100 wenzelm proper Option.Spec.toString for bash script: avoid Token.quote_name of Options.Spec.print_value (amending 3d1746a716fa, see also 39f6f180008d);
Sun, 05 Nov 2023 19:55:18 +0100 wenzelm more tests;
Sun, 05 Nov 2023 19:40:39 +0100 wenzelm clarified exploration of history: more uniform options;
Sun, 05 Nov 2023 19:32:01 +0100 wenzelm tuned;
Sun, 05 Nov 2023 19:28:54 +0100 wenzelm tuned;
Sat, 04 Nov 2023 20:28:07 +0100 wenzelm enable multi-builds (again, see also 0c7419d3dd59);
Sat, 04 Nov 2023 20:10:17 +0100 wenzelm explore history more thoroughly;
Sat, 04 Nov 2023 17:19:22 +0100 wenzelm tuned signature;
Sat, 04 Nov 2023 17:29:49 +0100 wenzelm clarified "recent" time: days <= 0 means infinity (no constraint);
Sat, 04 Nov 2023 16:56:54 +0100 wenzelm tuned whitespace;
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 tip