Diffusion Isabelle 0869eacad310

proper default_platform;
0869eacad310
Actions

Tags

None

Subscribers

None

Description

proper default_platform;

Details

Provenance

Authored on

Parents

rISABELLEfbe0fedd8a61: tuned NEWS;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE0869eacad310: proper default_platform;.Nov 5 2022, 10:59 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

dotnet_setup.scala

rISABELLE0869eacad310

src/Pure/Tools/dotnet_setup.scala

Loading...