Bump to 0.3.16

inpefess · Apr 29, 2023 · 517d8c3 · 517d8c3
1 parent 06dcb4f
commit 517d8c3
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/doc/conf.py b/doc/conf.py
@@ -19,7 +19,7 @@
 
 sys.path.insert(0, os.path.abspath(".."))
 project = "isabelle-client"
-version = "0.3.15"
+version = "0.3.16"
 copyright = "2021-2023, Boris Shminke"
 author = "Boris Shminke"
 extensions = ["sphinx.ext.autodoc", "sphinx.ext.coverage"]

diff --git a/isabelle_client/__init__.py b/isabelle_client/__init__.py
@@ -17,4 +17,4 @@
 from isabelle_client.socket_communication import IsabelleResponse
 from isabelle_client.utils import get_isabelle_client, start_isabelle_server
 
-__version__ = "0.3.15"
+__version__ = "0.3.16"
diff --git a/pyproject.toml b/pyproject.toml
@@ -1,6 +1,6 @@
 [tool.poetry]
 name = "isabelle-client"
-version = "0.3.15"
+version = "0.3.16"
 description = "A client to Isabelle proof assistant server"
 authors = ["Boris Shminke <boris@shminke.ml>"]
 license = "Apache-2.0"
@@ -134,7 +134,7 @@ commands =
 github_url = "https://github.com/inpfess/isabelle-client/"
 
 [tool.tbump.version]
-current = "0.3.15"
+current = "0.3.16"
 regex = '''
   (?P<major>\d+)
   \.