# HG changeset patch # User wenzelm # Date 1667772628 -3600 # Node ID 5ba13c82a286403f98f8b2333f5345bb6199e17b # Parent 8ac1d83301b582796000c92883c550a0be3fb6cf proper user tool; diff -r 8ac1d83301b5 -r 5ba13c82a286 src/Pure/System/isabelle_tool.scala --- a/src/Pure/System/isabelle_tool.scala Sun Nov 06 22:20:51 2022 +0100 +++ b/src/Pure/System/isabelle_tool.scala Sun Nov 06 23:10:28 2022 +0100 @@ -126,6 +126,7 @@ CI_Build.isabelle_tool, Doc.isabelle_tool, Document_Build.isabelle_tool, + Dotnet_Setup.isabelle_tool, Dump.isabelle_tool, Export.isabelle_tool, ML_Process.isabelle_tool, @@ -183,7 +184,6 @@ Build_Zstd.isabelle_tool, Check_Sources.isabelle_tool, Components.isabelle_tool, - Dotnet_Setup.isabelle_tool, isabelle.vscode.Build_VSCode.isabelle_tool, isabelle.vscode.Build_VSCodium.isabelle_tool1, isabelle.vscode.Build_VSCodium.isabelle_tool2)