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