Diffusion Isabelle bf537a75e872

discontinue unused JCEF: superseded by Electron with its bundled Chromium;
bf537a75e872
Actions

Tags

None

Subscribers

None

Description

discontinue unused JCEF: superseded by Electron with its bundled Chromium;

Details

Provenance

Authored on

Parents

rISABELLE63f9ffa1625f: prefer deterministic result;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEbf537a75e872: discontinue unused JCEF: superseded by Electron with its bundled Chromium;.Nov 25 2022, 10:57 AM

Changes (6)

Path

Size

etc/

build_jcef.scala

System/

isabelle_tool.scala

rISABELLEbf537a75e872

etc/build.props

Loading...

src/Pure/Admin/build_jcef.scala

Loading...

src/Pure/System/isabelle_tool.scala

Loading...