Diffusion Isabelle 0732ee5c8ee1

support for "all" platforms;
0732ee5c8ee1
Actions

Tags

None

Subscribers

None

Description

support for "all" platforms;

Details

Provenance

Authored on

Parents

rISABELLEb1e2246147eb: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE0732ee5c8ee1: support for "all" platforms;.Mar 27 2024, 5:11 PM

Changes (3)

Path

Size

src/

Pure/

System/

Tools/

dotnet_setup.scala

rISABELLE0732ee5c8ee1

src/Pure/System/platform.scala

Loading...

src/Pure/Tools/dotnet_setup.scala

Loading...

src/Pure/Tools/go_setup.scala

Loading...