Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
remove unused;
authorFabian Huch <huch@in.tum.de>
Mon, 10 Jun 2024 14:08:15 +0200
changeset 80335 b835b40f53ec
parent 80334 1e5082785075
child 80336 e070eca8c731
remove unused;
src/Pure/Build/build_manager.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Build/build_manager.scala	Mon Jun 10 14:03:19 2024 +0200
+++ b/src/Pure/Build/build_manager.scala	Mon Jun 10 14:08:15 2024 +0200
@@ -1485,6 +1485,3 @@
         progress = progress)
     })
 }
-
-class Build_Manager_Tools extends Isabelle_Scala_Tools(
-  Build_Manager.isabelle_tool, Build_Manager.isabelle_tool1)
isabelle