wenzelm [Wed, 11 Sep 2024 17:00:02 +0200] rev 80854
misc tuning and clarification;
wenzelm [Wed, 11 Sep 2024 15:36:14 +0200] rev 80853
minor performance tuning, notably for Bytes.add (e.g. YXML output);
wenzelm [Wed, 11 Sep 2024 12:46:56 +0200] rev 80852
revert 90f6e541e926, which has become pointless thanks to df85df6315af;
wenzelm [Wed, 11 Sep 2024 12:32:11 +0200] rev 80851
clarified signature and modules;
wenzelm [Wed, 11 Sep 2024 12:18:29 +0200] rev 80850
clarified files;
wenzelm [Wed, 11 Sep 2024 12:11:47 +0200] rev 80849
drop pointless print_mode operations Output.output / Output.escape;
wenzelm [Tue, 10 Sep 2024 20:36:01 +0200] rev 80848
clarified signature: prefer explicit type Bytes.T;
wenzelm [Tue, 10 Sep 2024 20:06:51 +0200] rev 80847
clarified signature, roughly following Isabelle/Scala;