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