wenzelm [Sun, 13 Nov 2022 21:31:45 +0100] rev 76516
prefer sorted result;
wenzelm [Sun, 13 Nov 2022 20:45:49 +0100] rev 76515
separate style for re-use;
wenzelm [Sun, 13 Nov 2022 20:28:39 +0100] rev 76514
ML support for the Prism.js syntax highlighter -- via Isabelle/Scala;
wenzelm [Sun, 13 Nov 2022 14:56:24 +0100] rev 76513
retain data structures more accurately;
tuned signature;
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;