Diffusion Isabelle 4df63c3a4c4f

more direct java.home, according to current jdk directory layout;
4df63c3a4c4f
Actions

Tags

None

Subscribers

None

Description

more direct java.home, according to current jdk directory layout;

Details

Provenance

Authored on

Parents

rISABELLEbf476aed616d: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE4df63c3a4c4f: more direct java.home, according to current jdk directory layout;.Jun 30 2021, 1:49 PM

Changes (1)

Path

Size

src/

Pure/

System/

isabelle_env.scala

rISABELLE4df63c3a4c4f

src/Pure/System/isabelle_env.scala

Loading...