https://pypi.org/project/isabelle-layout/ Recent updates to the Python Package Index for isabelle-layout en https://pypi.org/project/isabelle-layout/0.2.2/ What structure an Isabelle project has, according to its own files — sessions, theory headers, and project roots read from ROOT files and .thy headers, with no Isabelle process involved. Andras.Salamon@st-andrews.ac.uk Tue, 11 Aug 2026 10:34:37 GMT