Skip to content

CHANGELOG.md

Latest commit

 

History

History
175 lines (115 loc) · 10.4 KB

CHANGELOG.md

File metadata and controls

175 lines (115 loc) · 10.4 KB

Changelog

v0.4.0 (2026-01-27)

Added

Fixed

  • Inconsistencies and missing colors within CSS styles. b337c21
  • Missing documentation for notation directive. 6f33744 and b15c7c0
  • Nesting of unnumbered directives, fixing #165.

v0.3.0 (2025-10-20)

NEW ✨

  • Major internationalization expansion: Added support for 32 languages (33 total including English) #146, #156
    • Added Vietnamese translations
    • Added Czech translations
    • Added Bengali translations (230M+ speakers)
    • Added Urdu translations (230M+ speakers)
    • Added Malay translations (80M+ speakers)
  • All 15 directive types now have complete translations in 33 languages

Improved 👌

  • Organized translation files alphabetically for better maintainability #155
  • Updated internationalization documentation with complete language table #157
  • Fixed translation errors in Remark and Proposition directives #154
  • Fixed Sphinx compatibility issues #146

Maintenance 🔧

  • Updated dependency manifests
  • Bumped codecov/codecov-action from 5.4.0 to 5.5.1 #151, #148
  • Bumped actions/setup-python from 5 to 6 #150
  • Bumped actions/checkout from 4 to 5 #147
  • Bumped pypa/gh-action-pypi-publish #149
  • Pre-commit configuration updates #140

Languages Supported

English (default) plus 32 translations: 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

v0.2.1 (2025-03-11)

Please see GitHub Releases for CHANGELOG notes.

This manually edited file will no longer be updated and removed in v0.3.0

v0.2.0 (2024-09-10)

NEW ✨

  • Adds a minimal theme with a simpler color scheme for admonitions #106
  • Support for assumption directive #80

Maintenance

  • Review of docs, minor maintenance and bug fix #105
  • Maintenance of repository and rename master to main #99

v0.1.3 (2021-10-14)

Fixes 🐛

Resolving reference error. See: #68

v0.1.2 (2021-10-13)

Fixes 🐛

Making singlehtml builder error free. See: #65

v0.1.1 (2021-08-18)

Improved 👌

Resetting directive numbering between different directives

v0.1.0 (2021-07-23)

NEW ✨

Implemented Latex output of all the directives in this repository.

Improved 👌

Proper handling of directives which do not have a title specified. For this, added an enumerable_nodes dict to ProofDomain.

v0.0.3 (2020-10-09)

Full Changelog

New ✨

We moved away from sphinxcontrib-prettyproof and renamed the extension sphinx-proof.

Improved 👌

Among other improvements:

  • The proof domain has been renamed "prf" to follow similar naming conventions to other Sphinx domains.
  • Introduced the following new directives
    • example
    • property
    • observation
    • proposition
  • Reviewed our test infrastructure to make sure we are following Executable Book Project's contributing guidelines #19 (@AakashGfude).
  • Implemented GitHub Actions to build, test, and deploy our code.
  • Enhanced the design of the directives per our users' request.

DEPRECATE 🗑️

sphinx-exercise no longer support exercise directives. This work has moved to a new extension names sphinx-exercise.

Fixes 🐛

  • Fixed math label error in proof directive.
  • ReadTheDocs builds documentation use a dev mode environment through the rtd extra.

Documentation improvements 📚

In addition to other minor documentation improvements, we also introduced high-level description of the API.

Closed issues:

  • Documentation similarities to / different decisions from sphinxcontrib-proof #37
  • Add a high-level description of the API first on /syntax.html #35
  • [ENH] Use upstream flake8 instead of the one provided as pre-commit hook #28
  • Plain background for examples? #22
  • Drop italics in proof body? #21
  • Styling for "proof" too loud? #14
  • [DISC] {proof:proof} directive has class option? #9
  • [ENH] Discussion of Syntax Choices #6
  • [DOC] Adding documentation for conjectures #4
  • [BUG] Math Block $$ $$ inside proof directive throws error #2

Merged pull requests:

  • 👌 IMPROVE: Rename "proof" domain and role to "prf" #46 (najuzilu)
  • ✨ NEW: Migrate to sphinx-proof #44 (najuzilu)
  • 🐛 FIX: RTD fail to install local extension #43 (najuzilu)
  • 🔧 MAINTAIN: Misc edits #40 (najuzilu)
  • 📚 DOCS: Add high-level description of API under syntax #39 (najuzilu)
  • 🗑️ DEPRECATE: Remove exercise directive #38 (najuzilu)
  • 🔧 MAINTAIN: Update links to reflect migration to EBP #36 (najuzilu)
  • 📚 DOCS: Add class option for proof:proof #34 (najuzilu)
  • 📚 DOCS: Additional documentation #33 (najuzilu)
  • ✨️ NEW: Add MANIFEST file #31 (AakashGfude)
  • 👌️ IMPROVE: Update extras #30 (najuzilu)
  • 👌️ IMPROVE: Using upstream flake8 #29 (AakashGfude)
  • 👌️ IMPROVE: Add tox.ini #26 (najuzilu)
  • [ENH] Implement Github workflow #25 (najuzilu)
  • [STY] Remove example directive background color #24 (najuzilu)
  • [STY] Fixes #21: remove italics from proof #23 (najuzilu)
  • Miscellaneous edits #20 (najuzilu)
  • 👌️ IMPROVE: Review of test infrastructure #19 (AakashGfude)
  • [STY] Update style of proof directive #15 (najuzilu)
  • [ENH, DOC] Add example, property, observation and proposition directives #12 (najuzilu)
  • [FIX,TST] Fix math label in proof directive #11 (najuzilu)
  • [DOCS] add suggested changes for docs #5 (mmcky)

v0.0.2 (2020-08-25)

Full Changelog

* This Changelog was automatically generated by github_changelog_generator