https://pypi.org/project/isabelle-query/ Recent updates to the Python Package Index for isabelle-query en https://pypi.org/project/isabelle-query/0.7.0/ Query the live theory index of an Isabelle/Isar project — entries, call graph, dependencies, and dead code — by parsing .thy files on every invocation. Andras.Salamon@st-andrews.ac.uk Fri, 21 Aug 2026 22:13:33 GMT https://pypi.org/project/isabelle-query/0.6.7/ Query the live theory index of an Isabelle/Isar project — entries, call graph, dependencies, and dead code — by parsing .thy files on every invocation. Andras.Salamon@st-andrews.ac.uk Tue, 11 Aug 2026 12:46:40 GMT