wenzelm [Sat, 12 Nov 2022 19:09:41 +0100] rev 76512
proper join without delimiter;
wenzelm [Sat, 12 Nov 2022 19:04:28 +0100] rev 76511
more accurate token types;
keep untyped tokens for complete covering;
wenzelm [Sat, 12 Nov 2022 17:21:38 +0100] rev 76510
clarified JS namespace;
wenzelm [Fri, 11 Nov 2022 23:25:24 +0100] rev 76509
proper support for Windows;
wenzelm [Fri, 11 Nov 2022 23:04:55 +0100] rev 76508
support for the Prism.js syntax highlighter -- via external Node.js process;
wenzelm [Fri, 11 Nov 2022 21:35:33 +0100] rev 76507
support for JavaScript syntax and Node.js platform;
wenzelm [Thu, 10 Nov 2022 14:55:20 +0100] rev 76506
merged
wenzelm [Thu, 10 Nov 2022 12:25:28 +0100] rev 76505
tuned signature;
wenzelm [Thu, 10 Nov 2022 12:21:44 +0100] rev 76504
clarified signature: ensure that entries are well-formed --- no consecutive separators, no separators at start/end;
wenzelm [Thu, 10 Nov 2022 11:20:37 +0100] rev 76503
clarified signature: only support nameless separator;