Diffusion Isabelle a03a7d4b82f8

more Setup_Tool services;
a03a7d4b82f8
Actions

Tags

None

Subscribers

None

Description

more Setup_Tool services;

Details

Provenance

Authored on

Parents

rISABELLEd1ac1bb01060: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa03a7d4b82f8: more Setup_Tool services;.Mar 27 2024, 1:23 PM

Changes (3)

Path

Size

etc/

src/

Pure/

Tools/

dotnet_setup.scala

rISABELLEa03a7d4b82f8

etc/build.props

Loading...

src/Pure/Tools/dotnet_setup.scala

Loading...

src/Pure/Tools/go_setup.scala

Loading...