https://pypi.org/project/isabelle-block/ Recent updates to the Python Package Index for isabelle-block en https://pypi.org/project/isabelle-block/0.1.4/ Mechanical block surgery on Isabelle theory sources: move, copy, delete, rewrite and substitute inside regions named by line span or by entry name. Andras.Salamon@st-andrews.ac.uk Sat, 24 Oct 2026 04:44:34 GMT https://pypi.org/project/isabelle-block/0.1.3/ Mechanical block surgery on Isabelle theory sources: move, copy, delete, rewrite and substitute inside regions named by line span or by entry name. Andras.Salamon@st-andrews.ac.uk Sat, 24 Oct 2026 03:58:28 GMT https://pypi.org/project/isabelle-block/0.1.2/ Mechanical block surgery on Isabelle theory sources: move, copy, delete, rewrite and substitute inside regions named by line span or by entry name. Andras.Salamon@st-andrews.ac.uk Fri, 23 Oct 2026 23:52:18 GMT