bump version 1.0.8 -> 1.0.9

daviddoret · Sep 21, 2023 · f188503 · f188503
1 parent 812de14
commit f188503
Show file tree

Hide file tree

Showing 5 changed files with 6 additions and 6 deletions.
diff --git a/docs/source/conf.py b/docs/source/conf.py
@@ -22,7 +22,7 @@
 project = 'punctilious'
 copyright = '2023, David Doret'
 author = 'David Doret'
-release = "1.0.8"
+release = "1.0.9"
 
 # -- General configuration ---------------------------------------------------
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#general-configuration

diff --git a/pyproject.toml b/pyproject.toml
@@ -1,6 +1,6 @@
 [project]
 name = "punctilious"
-version = "1.0.8"
+version = "1.0.9"
 authors = [{ name = "David Doret", email = "[email protected]" }]
 keywords = ["math", "mathematics", "proof", "proof assistant", "math proof assistant", "formal system", ]
 description = "A human-friendly and developer-friendly math proof assistant"
@@ -40,7 +40,7 @@ addopts = [
     "--import-mode=importlib",
 ]
 [tool.bumpver]
-current_version = "1.0.8"
+current_version = "1.0.9"
 version_pattern = "MAJOR.MINOR.PATCH"
 commit_message = "bump version {old_version} -> {new_version}"
 tag_message = "v{new_version}"

diff --git a/src/punctilious/__init__.py b/src/punctilious/__init__.py
@@ -1,7 +1,7 @@
 """Punctilious: punctilious/__init__.py
 
 """
-__version__ = "1.0.8"
+__version__ = "1.0.9"
 
 from punctilious.plaintext import force_plaintext, Plaintext, unidecode
 from punctilious.repm import monospace, prnt, serif_bold

diff --git a/src/sample/__init__.py b/src/sample/__init__.py
@@ -1,2 +1,2 @@
 """This python module contains sample python scripts that illustrate *punctilious* usage."""
-__version__ = "1.0.8"
+__version__ = "1.0.9"
diff --git a/src/theory/__init__.py b/src/theory/__init__.py
@@ -1,4 +1,4 @@
 """This python module contains mathematical theories formalized with *punctilious*."""
-__version__ = "1.0.8"
+__version__ = "1.0.9"
 
 from theory.theory_tao_2006_the_peano_axioms import Tao2006ThePeanoAxioms