https://pypi.org/project/my-better-isabelle-prover/ Recent updates to the Python Package Index for my-better-isabelle-prover en https://pypi.org/project/my-better-isabelle-prover/0.3.0/ Patch manager for Isabelle installations xu@qiyuan.me Tue, 14 Jul 2026 18:18:26 GMT https://pypi.org/project/my-better-isabelle-prover/0.2.0/ Patch manager for Isabelle installations xu@qiyuan.me Thu, 09 Jul 2026 10:07:52 GMT https://pypi.org/project/my-better-isabelle-prover/0.1.1/ Patch manager for Isabelle installations xu@qiyuan.me Fri, 19 Jun 2026 21:01:19 GMT https://pypi.org/project/my-better-isabelle-prover/0.1.0/ Patch manager for Isabelle installations xu@qiyuan.me Tue, 09 Jun 2026 19:40:04 GMT