src/Pure/Admin/build_jcef.scala
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