--- a/src/Pure/System/isabelle_tool.scala Sat Jan 11 21:31:13 2025 +0100
+++ b/src/Pure/System/isabelle_tool.scala Sat Jan 11 21:51:06 2025 +0100
@@ -177,6 +177,7 @@
Component_E.isabelle_tool,
Component_EPTCS.isabelle_tool,
Component_Easychair.isabelle_tool,
+ Component_Elm.isabelle_tool,
Component_Foiltex.isabelle_tool,
Component_Fonts.isabelle_tool,
Component_Hugo.isabelle_tool,
@@ -198,6 +199,7 @@
Component_SPASS.isabelle_tool,
Component_SQLite.isabelle_tool,
Component_Scala.isabelle_tool,
+ Component_Solr.isabelle_tool,
Component_Stack.isabelle_tool,
Component_Vampire.isabelle_tool,
Component_VeriT.isabelle_tool,