From 2d56a38903fb0935894dd4b5fe619aaa83c41c23 Mon Sep 17 00:00:00 2001 From: Amitayush Thakur Date: Sun, 14 Jun 2026 15:24:13 -0500 Subject: [PATCH 1/2] Fix exception handling for Isabelle imports to include TypeError --- src/itp_interface/tools/isabelle_executor.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/itp_interface/tools/isabelle_executor.py b/src/itp_interface/tools/isabelle_executor.py index 5ba372a..9edec89 100644 --- a/src/itp_interface/tools/isabelle_executor.py +++ b/src/itp_interface/tools/isabelle_executor.py @@ -21,7 +21,7 @@ try: from itp_interface.pisa.src.main.python.pisa_client import PisaEnv, initialise_env, IsabelleLemma HAS_ISABELLE = True -except (ImportError, RuntimeError): +except (ImportError, RuntimeError, TypeError): HAS_ISABELLE = False PisaEnv = None initialise_env = None From ca39819a7121c433090f9e7c5eaa26062bbd30b9 Mon Sep 17 00:00:00 2001 From: Amitayush Thakur Date: Sun, 14 Jun 2026 15:24:30 -0500 Subject: [PATCH 2/2] Bump version to 1.9.0 in pyproject.toml --- pyproject.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pyproject.toml b/pyproject.toml index fa83393..d84a1f9 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -5,7 +5,7 @@ requires = [ build-backend = "hatchling.build" [project] name = "itp_interface" -version = "1.8.0" +version = "1.9.0" authors = [ { name="Amitayush Thakur", email="amitayush@utexas.edu" }, ]