Diffusion Isabelle 6b480efe1bc3

support for Java Chromium Embedded Framework (JCEF): still somewhat fragile;
6b480efe1bc3
Actions

Tags

None

Subscribers

None

Description

support for Java Chromium Embedded Framework (JCEF): still somewhat fragile;

Details

Provenance

Authored on

Parents

rISABELLE4840ce456b4f: enforce full build;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE6b480efe1bc3: support for Java Chromium Embedded Framework (JCEF): still somewhat fragile;.Mar 24 2021, 9:17 PM

Changes (6)

Path

Size

build_jcef.scala

System/

isabelle_tool.scala

rISABELLE6b480efe1bc3

src/Pure/Admin/build_jcef.scala

Loading...

src/Pure/System/isabelle_tool.scala

Loading...

src/Pure/build-jars

Loading...