isabelle: Changelog

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;

wenzelm [Thu, 10 Nov 2022 11:17:26 +0100] rev 76502

tuned signature;

blanchet [Thu, 10 Nov 2022 11:49:34 +0100] rev 76501

use timeout with MiniSat

isabelle