Summary
- support for Java Chromium Embedded Framework (JCEF): still somewhat fragile;
The file was added | src/Pure/Admin/build_jcef.scala |
The file was modified | src/Pure/System/isabelle_tool.scala (diff) |
The file was modified | src/Pure/build-jars (diff) |
The file was added | src/Pure/Admin/build_jcef.scala |
The file was modified | src/Pure/System/isabelle_tool.scala (diff) |
The file was modified | src/Pure/build-jars (diff) |