https://pypi.org/project/isabelle-watchdog/ Recent updates to the Python Package Index for isabelle-watchdog en https://pypi.org/project/isabelle-watchdog/0.5.1/ Isabelle build watchdog, and the build-trajectory corpus it records Mon, 24 Aug 2026 00:04:11 GMT https://pypi.org/project/isabelle-watchdog/0.5.0/ Isabelle build watchdog, and the build-trajectory corpus it records Sun, 23 Aug 2026 16:40:12 GMT https://pypi.org/project/isabelle-watchdog/0.4.0/ Isabelle build watchdog, and the build-trajectory corpus it records Fri, 21 Aug 2026 21:36:53 GMT https://pypi.org/project/isabelle-watchdog/0.3.1/ Isabelle build watchdog, and the build-trajectory corpus it records Tue, 11 Aug 2026 11:25:18 GMT