Diffusion Isabelle 7c552a256ca5

misc tuning and clarification: prefer Executable.libraries_closure;
7c552a256ca5
Actions

Tags

None

Subscribers

None

Description

misc tuning and clarification: prefer Executable.libraries_closure;

Details

Provenance

Authored on

Parents

rISABELLE4c6f318bcf9c: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE7c552a256ca5: misc tuning and clarification: prefer Executable.libraries_closure;.Oct 13 2020, 4:33 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_polyml.scala

rISABELLE7c552a256ca5

src/Pure/Admin/build_polyml.scala

Loading...