Skip to content

Commit 4d5c386

Browse files
committed
Update changelog and README for new features and fixes
Added details about shared numbering for directive groups, fixed CSS inconsistencies, and documented the notation directive in CHANGELOG.md. Updated README.md to include the notation directive, mention shared numbering, and clarify styling options.
1 parent b15c7c0 commit 4d5c386

2 files changed

Lines changed: 12 additions & 4 deletions

File tree

CHANGELOG.md

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,13 @@
44

55
### Added
66

7-
- Options for customizing proof directive title format.
7+
- Options for customizing proof directive title format. [#163](https://github.com/executablebooks/sphinx-proof/pull/163)
8+
- Possibility for shared numbering of groups of directives, fixing [\#64](https://github.com/executablebooks/sphinx-proof/issues/64). [\#https://github.com/executablebooks/sphinx-proof/pull/161](https://github.com/executablebooks/sphinx-proof/pull/161)
9+
10+
### Fixed
11+
12+
- Inconsistencies and missing colors within CSS styles. [b337c21](https://github.com/executablebooks/sphinx-proof/commit/b337c21675464224a4418beb9e70d3b6dc8e4127)
13+
- Missing documentation for notation directive. [6f33744](https://github.com/executablebooks/sphinx-proof/commit/6f33744544b7596a30beba5b8807491d642b77a7) and [b15c7c0](https://github.com/executablebooks/sphinx-proof/commit/b15c7c09adefe85e0fdb8dea6dc460bd0f51fb1f)
814

915
## v0.3.0 (2025-10-20)
1016

README.md

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -10,16 +10,18 @@
1010

1111
This package contains a [Sphinx](http://www.sphinx-doc.org/) extension
1212
for producing proof, theorem, axiom, lemma, definition, criterion, remark, conjecture,
13-
corollary, algorithm, example, property, observation, proposition and assumption directives.
13+
corollary, algorithm, example, property, observation, proposition, assumption and notation directives.
1414

1515
## Features
1616

1717
- **15 directive types** for mathematical proofs and theorems
1818
- **Automatic numbering** of directives
19+
- optional shared numbering of groups of directives
1920
- **Cross-referencing** support via `prf:ref` role
2021
- **33 languages supported** - Complete translations for all directive types in English plus 32 additional languages (Arabic, Bengali, Bulgarian, Chinese, Czech, Danish, Dutch, Finnish, French, German, Greek, Hebrew, Hindi, Hungarian, Indonesian, Italian, Japanese, Korean, Malay, Norwegian, Persian, Polish, Portuguese, Romanian, Russian, Spanish, Swedish, Thai, Turkish, Ukrainian, Urdu, Vietnamese)
21-
- **Customizable styling** with multiple theme options
22-
22+
- **Customizable styling** with:
23+
- two theme options
24+
- directive title format customization
2325

2426
## Get started
2527

0 commit comments

Comments
 (0)