Skip to content

Conversation

@mmcky
Copy link
Member

@mmcky mmcky commented Oct 20, 2025

Summary

Updates the internationalization documentation to reflect the current state of language support in sphinx-proof.

Table Format

The language table is now organized alphabetically for easy reference, reading left-to-right across rows:

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

mmcky added 2 commits October 20, 2025 13:46
- Updated language count from 10 to 30 languages
- Added complete table of all supported languages with their codes
- Listed all 15 directive types with complete translation coverage
- Removed outdated 'Work in progress' note
- Added usage example for setting language in conf.py
- Clarified that English is the default language if not specified
- Organized languages in alphabetical order in a two-column table

All 30 languages now have complete translations for all 15 directive types:
Algorithm, Assumption, Axiom, Conjecture, Corollary, Criterion, Definition,
Example, Lemma, Notation, Observation, Property, Proposition, Remark, Theorem

Supported languages:
Arabic, Bulgarian, Chinese, Czech, Danish, Dutch, English, Finnish, French,
German, Greek, Hebrew, Hindi, Hungarian, Indonesian, Italian, Japanese,
Korean, Norwegian, Persian, Polish, Portuguese, Romanian, Russian, Spanish,
Swedish, Thai, Turkish, Ukrainian, Vietnamese
@mmcky mmcky requested a review from Copilot October 20, 2025 03:08
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

Updates the internationalization documentation to reflect expanded language support and improved organization. The documentation now shows support for 33 languages (up from 10) with complete translations for all 15 directive types.

  • Expanded language support from 10 to 33 languages with complete coverage
  • Reorganized language listing into an alphabetical table format for better readability
  • Added usage instructions and clarified default language behavior

Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.

@mmcky mmcky merged commit 3d36900 into main Oct 20, 2025
7 checks passed
@mmcky mmcky deleted the update-internationalization-docs branch October 20, 2025 03:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants