Merge pull request #46 from inpefess/maintenance

bump versions
inpefess · Apr 12, 2022 · d6315f2 · d6315f2
2 parents 993de54 + df9f861
commit d6315f2
Show file tree

Hide file tree

Showing 3 changed files with 221 additions and 167 deletions.
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.3"
+__version__ = "0.3.4"