Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/Find_Facts/find_facts_tools.scala
changeset 81765 eb40020efda7
parent 81764 fcba3250fb2a 
--- a/src/Tools/Find_Facts/find_facts_tools.scala	Sat Jan 11 21:31:13 2025 +0100
+++ b/src/Tools/Find_Facts/find_facts_tools.scala	Sat Jan 11 21:51:06 2025 +0100
@@ -1,8 +1,6 @@
 package isabelle
 
 class Find_Facts_Tools extends Isabelle_Scala_Tools(
-  Component_Elm.isabelle_tool,
-  Component_Solr.isabelle_tool,
   Find_Facts.isabelle_tool,
   Find_Facts.isabelle_tool1,
   Find_Facts.isabelle_tool2)
isabelle