Merge pull request #71 from inpefess/maintenance

Maintenance
inpefess · Dec 29, 2023 · 5f61716 · 5f61716
2 parents e7097b0 + 1bed9f6
commit 5f61716
Show file tree

Hide file tree

Showing 4 changed files with 161 additions and 161 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.4.5"
+version = "0.4.6"
 copyright = "2021-2023, Boris Shminke"
 author = "Boris Shminke"
 extensions = [

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.4.5"
+__version__ = "0.4.6"