MAINT: Minor changes to some translations and pre-commit fix (Updates to PR #146) #154
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Added *.json, *.mo, and *.py files from the sphinx_proof directory to the package manifest for more comprehensive distribution. Removed global recursive inclusion of *.pot, *.po, and *.mo files.
Added and updated translations for mathematical proof terms in multiple languages across all JSON files. Also updated and added compiled .mo files for new and existing locales to support broader internationalization.
Introduces a new 'notation' directive and node to the Sphinx Proof extension, including registration in NODE_TYPES and PROOF_TYPES. Adds a Notation.json file with translations for 'Notation' in multiple languages and updates .mo files for localization support.
- Fixed Remark translations that incorrectly used 'Observation': - Spanish (es): Observación → Nota - Portuguese (pt): Observação → Nota - Italian (it): Osservazione → Nota - Greek (el): Παρατήρηση → Σημείωση - Romanian (ro): Observație → Remarcă - Fixed Proposition translation in Polish: - Polish (pl): Twierdzenie → Propozycja (Twierdzenie means 'Theorem', not 'Proposition') - Regenerated all affected locale .mo files
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)
for more information, see https://pre-commit.ci
Removed duplicate NotationDirective class that was causing issues. Only one NotationDirective definition is needed.
Removed duplicate notation_node class in nodes.py. Only one notation_node definition is needed.
mmcky
changed the title
Member
Author
Contributor
|
We will definitely sync our fork. Thanks for merging! |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
These are some minor changes for #146 -- will see if Teachbooks team want to merge them upstream to the Fork first, otherwise we can merge this once #146 is closed.