Diffusion Isabelle 63f9ffa1625f

prefer deterministic result;
63f9ffa1625f
Actions

Tags

None

Subscribers

None

Description

prefer deterministic result;

Details

Provenance

Authored on

Parents

rISABELLE33025e13dcdc: clarified command-line arguments: follow more recent isabelle build_XYZ;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE63f9ffa1625f: prefer deterministic result;.Nov 25 2022, 10:49 AM

Changes (3)

Path

Size

src/

Pure/

Admin/

build_jcef.scala

build_jedit.scala

System/

classpath.scala

rISABELLE63f9ffa1625f

src/Pure/Admin/build_jcef.scala

Loading...

src/Pure/Admin/build_jedit.scala

Loading...

src/Pure/System/classpath.scala

Loading...