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.
more uniform treatment of "find_facts" tools as non-admin (see also c405ad565d70): this also means that "isabelle build System" works with distribution;
authorwenzelm
Mon, 03 Nov 2025 23:04:11 +0100
changeset 83496 96f3390bd6a9
parent 83495 e45a4cff0775
child 83497 69ddd1a45b89
more uniform treatment of "find_facts" tools as non-admin (see also c405ad565d70): this also means that "isabelle build System" works with distribution;
src/Pure/System/isabelle_tool.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/isabelle_tool.scala	Mon Nov 03 22:48:03 2025 +0100
+++ b/src/Pure/System/isabelle_tool.scala	Mon Nov 03 23:04:11 2025 +0100
@@ -162,6 +162,7 @@
   Update_Then.isabelle_tool,
   Update_Theorems.isabelle_tool,
   Update_Tool.isabelle_tool,
+  isabelle.find_facts.Find_Facts.isabelle_tool2,
   isabelle.mirabelle.Mirabelle.isabelle_tool,
   isabelle.vscode.VSCode_Main.isabelle_tool1,
   isabelle.vscode.VSCode_Main.isabelle_tool2)
@@ -215,7 +216,6 @@
   Component_Zipperposition.isabelle_tool,
   Component_Zstd.isabelle_tool,
   Components.isabelle_tool,
-  isabelle.find_facts.Find_Facts.isabelle_tool2,
   isabelle.vscode.Component_VSCode.isabelle_tool,
   isabelle.vscode.Component_VSCodium.isabelle_tool1,
   isabelle.vscode.Component_VSCodium.isabelle_tool2)
isabelle