src/Pure/Tools/prismjs.scala
Wed, 12 Feb 2025 00:40:57 +0100 wenzelm removed unused imports;
Tue, 29 Aug 2023 12:53:28 +0200 wenzelm misc tuning: support "scalac -source 3.3";
Sun, 13 Nov 2022 21:31:45 +0100 wenzelm prefer sorted result;
Sun, 13 Nov 2022 20:28:39 +0100 wenzelm ML support for the Prism.js syntax highlighter -- via Isabelle/Scala;
Sun, 13 Nov 2022 14:56:24 +0100 wenzelm retain data structures more accurately;
Sat, 12 Nov 2022 19:09:41 +0100 wenzelm proper join without delimiter;
Sat, 12 Nov 2022 19:04:28 +0100 wenzelm more accurate token types;
Sat, 12 Nov 2022 17:21:38 +0100 wenzelm clarified JS namespace;
Fri, 11 Nov 2022 23:04:55 +0100 wenzelm support for the Prism.js syntax highlighter -- via external Node.js process;
less more (0) tip