[isabelle-dev] New Code Generator Target: F#
Makarius
makarius at sketis.net
Sat Nov 5 23:36:57 CET 2022
On 05/11/2022 23:29, Makarius wrote:
> On 04/11/2022 20:40, Florian Haftmann wrote:
>
> The key by Microsoft documentation is here:
> https://learn.microsoft.com/en-us/dotnet/core/tools/dotnet-install-script
I wonder if this is also relevant, but we are not using the regular installer
here: https://learn.microsoft.com/en-us/dotnet/core/tools/telemetry
Is there anything to do, in order to disable telemetry data sent to Microsoft?
Makarius
More information about the isabelle-dev
mailing list