Diffusion Isabelle 18c50ff16bbc

disable telemetry;
18c50ff16bbc
Actions

Tags

None

Subscribers

None

Description

disable telemetry;

Details

Provenance

Authored on

Parents

rISABELLEda85bffef443: clarified error;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE18c50ff16bbc: disable telemetry;.Nov 5 2022, 11:42 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

dotnet_setup.scala

rISABELLE18c50ff16bbc

src/Pure/Tools/dotnet_setup.scala

Loading...