https://pypi.org/project/isar-tools/ Recent updates to the Python Package Index for isar-tools en https://pypi.org/project/isar-tools/0.10.0/ Linting, formatting, and project analysis for Isabelle/Isar, without running Isabelle. Wed, 14 Oct 2026 15:44:54 GMT https://pypi.org/project/isar-tools/0.9.0/ Linting, formatting, and project analysis for Isabelle/Isar, without running Isabelle. Sat, 10 Oct 2026 00:13:36 GMT https://pypi.org/project/isar-tools/0.8.0/ Linting, formatting, and project analysis for Isabelle/Isar, without running Isabelle. Sat, 03 Oct 2026 10:32:25 GMT https://pypi.org/project/isar-tools/0.7.1/ Linting, formatting, and project analysis for Isabelle/Isar, without running Isabelle. Fri, 02 Oct 2026 15:08:36 GMT https://pypi.org/project/isar-tools/0.7.0/ Linting, formatting, and project analysis for Isabelle/Isar, without running Isabelle. Fri, 02 Oct 2026 15:04:04 GMT https://pypi.org/project/isar-tools/0.6.0/ Linting, formatting, and project analysis for Isabelle/Isar, without running Isabelle. Fri, 02 Oct 2026 14:00:45 GMT https://pypi.org/project/isar-tools/0.5.0/ Linting, formatting, and project analysis for Isabelle/Isar, without running Isabelle. Fri, 02 Oct 2026 11:24:47 GMT https://pypi.org/project/isar-tools/0.4.0/ Source tooling for Isabelle/Isar projects: formatting, checks, and statistics. Thu, 01 Oct 2026 12:42:22 GMT https://pypi.org/project/isar-tools/0.3.0/ Source tooling for Isabelle/Isar projects: formatting, checks, and statistics. Wed, 30 Sep 2026 21:21:08 GMT https://pypi.org/project/isar-tools/0.2.0/ Source tooling for Isabelle/Isar projects: formatting, checks, and statistics. Sun, 27 Sep 2026 08:34:55 GMT https://pypi.org/project/isar-tools/0.1.1/ Source tooling for Isabelle/Isar projects: formatting, checks, and statistics. Sun, 27 Sep 2026 08:33:23 GMT https://pypi.org/project/isar-tools/0.1.0/ Source tooling for Isabelle/Isar projects: formatting, checks, and statistics. Sun, 27 Sep 2026 01:39:57 GMT