From a8ffdbcdb8e739d31aa83d72c49e661dba01dbb9 Mon Sep 17 00:00:00 2001 From: Leni Aniva Date: Thu, 18 Dec 2025 10:20:45 -0800 Subject: [PATCH 1/3] build: Update to 0.3.11 --- pantograph/test_server.py | 2 +- src | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/pantograph/test_server.py b/pantograph/test_server.py index 94f5517..faa2a02 100644 --- a/pantograph/test_server.py +++ b/pantograph/test_server.py @@ -7,7 +7,7 @@ def test_version(self): """ NOTE: Update this after upstream updates. """ - self.assertEqual(get_version(), "0.3.10") + self.assertEqual(get_version(), "0.3.11") def test_server_init_del(self): import warnings diff --git a/src b/src index 1c871c9..8daf04a 160000 --- a/src +++ b/src @@ -1 +1 @@ -Subproject commit 1c871c9065e7fb64102f3a4ca0cb584298b1701b +Subproject commit 8daf04aa5522701647e3b805271aa283588dccfb From d8c3eb1de01cd113dee8194553b551b0282be4fa Mon Sep 17 00:00:00 2001 From: Leni Aniva Date: Thu, 18 Dec 2025 10:21:01 -0800 Subject: [PATCH 2/3] chore: Update version marker --- pyproject.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pyproject.toml b/pyproject.toml index 975d17e..17e0550 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -1,6 +1,6 @@ [project] name = "pantograph" -version = "0.3.9" +version = "0.3.11" description = "A machine-to-machine interaction system for Lean" license = "Apache-2.0" readme = "README.md" From 8f0ed944fb2cc4d133095374d750c23b98f30879 Mon Sep 17 00:00:00 2001 From: Leni Aniva Date: Thu, 18 Dec 2025 10:21:20 -0800 Subject: [PATCH 3/3] doc: Format description --- pyproject.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pyproject.toml b/pyproject.toml index 17e0550..3f7eff5 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -1,7 +1,7 @@ [project] name = "pantograph" version = "0.3.11" -description = "A machine-to-machine interaction system for Lean" +description = "A Machine-to-Machine Interaction System for Lean" license = "Apache-2.0" readme = "README.md" authors = [