Merge branch 'main' into TeachBooks/main

Resolved conflicts in translation files:
- Kept corrected translations for Remark (Spanish, Portuguese, Italian, Greek, Romanian)
- Kept corrected translation for Proposition (Polish)
- Regenerated all locale .mo files with correct translations

Conflicts resolved:
- sphinx_proof/translations/jsons/Remark.json
- sphinx_proof/translations/jsons/Proposition.json
- sphinx_proof/translations/locales/*/LC_MESSAGES/proof.mo (6 files)

Author: mmcky

.github/workflows/ci.yml

@@ -12,9 +12,9 @@ jobs:
   pre-commit:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v4
+    - uses: actions/checkout@v5
     - name: Set up Python 3.11
-      uses: actions/setup-python@v5
+      uses: actions/setup-python@v6
       with:
         python-version: 3.11
     - uses: pre-commit/action@v3.0.1
@@ -27,9 +27,9 @@ jobs:
         sphinx: [">=5,<6"]
 
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
       - name: Set up Python ${{ matrix.python-version }}
-        uses: actions/setup-python@v5
+        uses: actions/setup-python@v6
         with:
           python-version: ${{ matrix.python-version }}
       - name: Install dependencies
@@ -43,7 +43,7 @@ jobs:
         run: coverage xml
       # TEMPORARY FIX: Disable codecov until we can get it working again
       - name: Upload to Codecov
-        uses: codecov/codecov-action@v5.4.0
+        uses: codecov/codecov-action@v5.5.1
         if: false
         with:
           name: sphinx-proof-pytests
@@ -54,9 +54,9 @@ jobs:
     name: Documentation build
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
       - name: Set up Python 3.11
-        uses: actions/setup-python@v5
+        uses: actions/setup-python@v6
         with:
           python-version: 3.11
       - name: Install dependencies
@@ -76,17 +76,17 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout source
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
       - name: Set up Python 3.11
-        uses: actions/setup-python@v5
+        uses: actions/setup-python@v6
         with:
           python-version: 3.11
       - name: Build package
         run: |
           pip install wheel
           python setup.py bdist_wheel sdist
       - name: Publish
-        uses: pypa/gh-action-pypi-publish@v1.12.4
+        uses: pypa/gh-action-pypi-publish@v1.13.0
         with:
           user: __token__
           password: ${{ secrets.PYPI_KEY }}

.pre-commit-config.yaml

@@ -10,18 +10,18 @@ exclude: >
 repos:
 
   - repo: https://github.com/pre-commit/pre-commit-hooks
-    rev: v5.0.0
+    rev: v6.0.0
     hooks:
       - id: check-yaml
       - id: end-of-file-fixer
       - id: trailing-whitespace
 
   - repo: https://github.com/PyCQA/flake8
-    rev: 7.1.2
+    rev: 7.3.0
     hooks:
     - id: flake8
 
-  - repo: https://github.com/psf/black
-    rev: 25.1.0
+  - repo: https://github.com/psf/black-pre-commit-mirror
+    rev: 25.9.0
     hooks:
       - id: black

sphinx_proof/nodes.py

@@ -187,6 +187,9 @@ class unenumerable_node(nodes.Admonition, nodes.Element):
 class assumption_node(nodes.Admonition, nodes.Element):
     pass
 
+class notation_node(nodes.Admonition, nodes.Element):
+    pass
+
 
 class notation_node(nodes.Admonition, nodes.Element):
     pass

sphinx_proof/proof_type.py

@@ -94,6 +94,10 @@ class AssumptionDirective(ElementDirective):
 
     name = "assumption"
 
+class NotationDirective(ElementDirective):
+    """A custom notation directive."""
+
+    name = "notation"
 
 class NotationDirective(ElementDirective):
     """A custom notation directive."""