src/Pure/Tools/dotnet_setup.scala
Wed, 07 May 2025 22:06:49 +0200 wenzelm clarified settings: these are setup defaults, not necessarily the installed version;
Tue, 06 May 2025 16:52:39 +0200 wenzelm clarified signature;
Sat, 01 Jun 2024 12:31:06 +0200 wenzelm clarified signature: prefer symbolic isabelle.Path over physical java.io.File;
Wed, 27 Mar 2024 17:51:37 +0100 wenzelm tuned message;
Wed, 27 Mar 2024 17:11:46 +0100 wenzelm support for "all" platforms;
Wed, 27 Mar 2024 17:04:37 +0100 wenzelm clarified signature;
Wed, 27 Mar 2024 13:23:15 +0100 wenzelm more Setup_Tool services;
Tue, 26 Mar 2024 20:58:01 +0100 wenzelm misc tuning, following go_setup;
Tue, 26 Mar 2024 20:23:13 +0100 wenzelm tuned comments;
Tue, 26 Mar 2024 17:27:35 +0100 wenzelm clarified signature: more operations;
Tue, 26 Mar 2024 17:06:23 +0100 wenzelm clarified signature: explicit type Platform.Info with derived operations;
Tue, 26 Mar 2024 12:07:52 +0100 wenzelm provide ISABELLE_DOTNET_VERSION via settings, following "isabelle ghc_setup";
Tue, 26 Mar 2024 12:00:08 +0100 wenzelm tuned;
Thu, 21 Mar 2024 16:28:43 +0100 wenzelm tuned signature: fewer warnings in IntelliJ IDEA;
Thu, 21 Mar 2024 15:00:22 +0100 wenzelm update to dotnet-8.0.203;
less more (0) -15 tip