wenzelm [Sun, 21 Aug 2022 12:19:38 +0200] rev 75942
clarified names: Browser_Info.Config vs. Browser_Info.Context;
wenzelm [Sun, 21 Aug 2022 11:59:25 +0200] rev 75941
clarified modules;
wenzelm [Sun, 21 Aug 2022 11:52:51 +0200] rev 75940
clarified signature: terminology of "base" (here) vs. "root" (there);
wenzelm [Sun, 21 Aug 2022 11:48:14 +0200] rev 75939
tuned;
wenzelm [Sun, 21 Aug 2022 11:45:14 +0200] rev 75938
proper fonts_prefix (amending c14409948063): default is "" due to self-cancellation of dir;
haftmann [Sun, 21 Aug 2022 06:18:23 +0000] rev 75937
streamlined
haftmann [Sun, 21 Aug 2022 06:18:23 +0000] rev 75936
simplified computation algorithm construction
wenzelm [Sat, 20 Aug 2022 21:34:55 +0200] rev 75935
merged;
wenzelm [Sat, 20 Aug 2022 21:33:51 +0200] rev 75934
more robust GUI initialization (amending 29441f2bfe81);
wenzelm [Sat, 20 Aug 2022 21:14:01 +0200] rev 75933
clarified signature: just one common operation;
wenzelm [Sat, 20 Aug 2022 18:55:48 +0200] rev 75932
clarified paths and links;
proper node_context for aux. files: to get links within them;
wenzelm [Sat, 20 Aug 2022 18:30:53 +0200] rev 75931
more concise output of files: just one round;
wenzelm [Sat, 20 Aug 2022 18:02:19 +0200] rev 75930
more robust;
wenzelm [Sat, 20 Aug 2022 17:59:13 +0200] rev 75929
proper node_dir within presentation_dir, not source file directory;
wenzelm [Sat, 20 Aug 2022 17:25:55 +0200] rev 75928
clarified modules;