src/Pure/Admin/build_jcef.scala
Fri, 25 Nov 2022 10:49:46 +0100 wenzelm prefer deterministic result;
Sun, 20 Nov 2022 23:37:54 +0100 wenzelm clarified signature: more explicit types;
Fri, 19 Aug 2022 16:46:00 +0200 wenzelm clarified signature: support for adhoc file types;
Fri, 01 Apr 2022 23:19:12 +0200 wenzelm tuned formatting;
Fri, 01 Apr 2022 17:06:10 +0200 wenzelm clarified formatting, for the sake of scala3;
Fri, 18 Feb 2022 23:10:33 +0100 wenzelm improved support for Java Chromium Embedded Framework (JCEF): works on x86_64-linux and x86_64-windows with jdk-15 (not jdk-17), does not work on arm64 and darwin;
Mon, 12 Apr 2021 18:29:34 +0200 wenzelm clarified signature: avoid tmp file;
Wed, 24 Mar 2021 21:17:19 +0100 wenzelm support for Java Chromium Embedded Framework (JCEF): still somewhat fragile;
less more (0) tip