# HG changeset patch
# User wenzelm
# Date 1678224108 -3600
# Node ID 57551ee13cfd368982f95349efa31c3d94741eed
# Parent  cbb49fe8e5a20bb63a9fc5c30b81a4789bd62066
sort lines;

diff -r cbb49fe8e5a2 -r 57551ee13cfd src/Pure/System/isabelle_tool.scala
--- a/src/Pure/System/isabelle_tool.scala	Tue Mar 07 22:17:47 2023 +0100
+++ b/src/Pure/System/isabelle_tool.scala	Tue Mar 07 22:21:48 2023 +0100
@@ -130,20 +130,20 @@
   Dotnet_Setup.isabelle_tool,
   Dump.isabelle_tool,
   Export.isabelle_tool,
+  Logo.isabelle_tool,
   ML_Process.isabelle_tool,
   Mercurial.isabelle_tool1,
   Mercurial.isabelle_tool2,
   Mkroot.isabelle_tool,
-  Logo.isabelle_tool,
   Options.isabelle_tool,
   Phabricator.isabelle_tool1,
   Phabricator.isabelle_tool2,
   Phabricator.isabelle_tool3,
   Phabricator.isabelle_tool4,
   Profiling_Report.isabelle_tool,
+  Scala_Project.isabelle_tool,
   Server.isabelle_tool,
   Sessions.isabelle_tool,
-  Scala_Project.isabelle_tool,
   Sync.isabelle_tool,
   Update.isabelle_tool,
   Update_Cartouches.isabelle_tool,
@@ -161,8 +161,8 @@
   Build_Cygwin.isabelle_tool,
   Build_Doc.isabelle_tool,
   Build_E.isabelle_tool,
+  Build_EPTCS.isabelle_tool,
   Build_Easychair.isabelle_tool,
-  Build_EPTCS.isabelle_tool,
   Build_Foiltex.isabelle_tool,
   Build_Fonts.isabelle_tool,
   Build_JDK.isabelle_tool,