Drop 3.7 support

.circleci/config.yml

@@ -9,7 +9,7 @@ jobs:
           name: use tox
           command: |
             pip install tox
-            pyenv local 3.7.15 3.8.15 3.9.15 3.10.7 3.11.0
+            pyenv local 3.8.15 3.9.15 3.10.7 3.11.0
             tox
       - run:
           name: upload data to codecov

CONTRIBUTING.rst

@@ -153,6 +153,6 @@ guidelines:
    updated. Put your new functionality into a function with a
    docstring, and add the feature to the list in README.rst.
 
-3. The pull request should work for Python 3.7, 3.8, 3.9, 3.10 and
+3. The pull request should work for Python 3.8, 3.9, 3.10 and
    3.11. Check https://github.com/inpefess/isabelle-client/pulls and
    make sure that the tests pass for all supported Python versions.

doc/conf.py

@@ -19,7 +19,7 @@
 
 sys.path.insert(0, os.path.abspath(".."))
 project = "isabelle-client"
-version = "0.3.17"
+version = "0.4.0"
 copyright = "2021-2023, Boris Shminke"
 author = "Boris Shminke"
 extensions = ["sphinx.ext.autodoc", "sphinx.ext.coverage"]

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.17"
+__version__ = "0.4.0"

isabelle_client/isabelle__client.py

@@ -76,8 +76,8 @@ async def execute_command(
         43
         >>> print(logger.info.mock_calls)
         [call('test_password\ntest_command\n'),
-        call('OK "connection OK"'),
-        call('43\nFINISHED {"session_id": "test_session_id"}')]
+         call('OK "connection OK"'),
+         call('43\nFINISHED {"session_id": "test_session_id"}')]
 
         :param command: a full text of a command to Isabelle
         :param asynchronous: if ``False``, waits for ``OK``; else waits for

isabelle_client/socket_communication.py

@@ -134,7 +134,7 @@ async def get_final_message(
     FINISHED {"session_id": "test_session_id"}
     >>> print(test_logger.info.mock_calls)
     [call('OK "connection OK"'),
-    call('43\nFINISHED {"session_id": "test_session_id"}')]
+     call('43\nFINISHED {"session_id": "test_session_id"}')]
 
     :param reader: a ``StreamReader`` connected to Isabelle server
     :param final_message: a set of possible final message types

pyproject.toml

@@ -1,6 +1,6 @@
 [tool.poetry]
 name = "isabelle-client"
-version = "0.3.17"
+version = "0.4.0"
 description = "A client to Isabelle proof assistant server"
 authors = ["Boris Shminke <boris@shminke.ml>"]
 license = "Apache-2.0"
@@ -11,7 +11,6 @@ classifiers=[
 	"Programming Language :: Python :: 3.10",
 	"Programming Language :: Python :: 3.9",
 	"Programming Language :: Python :: 3.8",
-	"Programming Language :: Python :: 3.7",	
 	"License :: OSI Approved :: Apache Software License",
 	"Operating System :: OS Independent",
 	"Intended Audience :: Science/Research",
@@ -24,7 +23,7 @@ classifiers=[
 include = ["isabelle_client/py.typed"]
 
 [tool.poetry.dependencies]
-python = ">= 3.7.1, < 3.12"
+python = ">= 3.8.1, < 3.12"
 importlib-resources = {version = "*", markers = "python_version < \"3.9\""}
 
 [tool.poetry.group.dev.dependencies]
@@ -61,7 +60,6 @@ addopts = """--doctest-modules --cov isabelle_client --cov-report xml
     --cov-report term-missing --cov-fail-under=100
     --junit-xml test-results/isabelle-client.xml"""
 testpaths = ["isabelle_client"]
-doctest_optionflags = "NORMALIZE_WHITESPACE"
 
 [tool.coverage.report]
 exclude_lines = [
@@ -103,14 +101,14 @@ incremental = true
 disable_error_code = "no-redef"
 
 [[tool.mypy.overrides]]
-module = ["importlib_resources"]
+module = ["importlib_resources", "py"]
 ignore_missing_imports = true
 
 [tool.tox]
 legacy_tox_ini = """
 [tox]
 isolated_build = True
-envlist = py37,py38,py39,py310,py311
+envlist = py38,py39,py310,py311
 
 [testenv]
 deps =
@@ -133,7 +131,7 @@ commands =
 github_url = "https://github.com/inpfess/isabelle-client/"
 
 [tool.tbump.version]
-current = "0.3.17"
+current = "0.4.0"
 regex = '''
   (?P<major>\d+)
   \.