Diffusion Isabelle c9e1276f0268

proper download, instead of assuming local directory;
c9e1276f0268
Actions

Tags

None

Subscribers

None

Description

proper download, instead of assuming local directory;

Details

Provenance

Authored on

Parents

rISABELLEd0910be11f65: more standard component build process;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc9e1276f0268: proper download, instead of assuming local directory;.Nov 25 2022, 4:20 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_fonts.scala

rISABELLEc9e1276f0268

src/Pure/Admin/build_fonts.scala

Loading...