Diffusion Isabelle d912c1b6c1d0

proper java_version for isabelle_setup;
d912c1b6c1d0
Actions

Tags

None

Subscribers

None

Description

proper java_version for isabelle_setup;

Details

Provenance

Authored on

Parents

rISABELLEdf4449c6eff1: explicit option metric_argo_timeout, with reasonable default for Raspberry Pi;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd912c1b6c1d0: proper java_version for isabelle_setup;.Nov 9 2021, 11:20 AM

Changes (1)

Path

Size

src/

Pure/

Tools/

scala_project.scala

rISABELLEd912c1b6c1d0

src/Pure/Tools/scala_project.scala

Loading...