[isabelle-dev] New Code Generator Target: F#

Makarius makarius at sketis.net
Sun Nov 6 00:09:45 CET 2022

On 05/11/2022 23:36, Makarius wrote:
> 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?

I have now added this change, hoping that it is sufficient: 


More information about the isabelle-dev mailing list