Diffusion Isabelle f9a858060836

tuned;
f9a858060836
Actions

Tags

None

Subscribers

None

Description

tuned;

Details

Provenance

Authored on

Parents

rISABELLE092449efcb0e: clarified defaults (see also b310b93563f6);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf9a858060836: tuned;.Jan 24 2023, 8:48 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

dotnet_setup.scala

rISABELLEf9a858060836

src/Pure/Tools/dotnet_setup.scala

Loading...