--- 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)