phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,085 Commits 19 Branches 10 Tags
main
Commit Graph
29 Commits
Author SHA1 Message Date
Marcus Zibrowius f0aa6b58ed Edits on landing page, with updates to German & Spanish translations. 
modified:   ../de/translation.json
	modified:   ../en/translation.json
	modified:   ../es/translation.json
	modified:   ../ko/target/translation.json
	modified:   translation.json
	modified:   ../../../src/components/landing_page.tsx
 2024-11-08 16:51:38 +01:00
Bulhwi Cha 64670d1579 fix config.json and add Korean translation 
* In the `config.json` file, the ISO code representing Korean should be
  `ko`, not `kr`.
* Remove the `client/public/locales/kr` subdirectory.
* Add the `client/public/locales/ko` subdirectory, which itself is the
  OmegaT project for the Korean translation of `lean4game`.

OmegaT[0] is a translation memory application intended for professional
translators. I use it to translate English documentation into Korean.

[0] https://omegat.org/
 2024-10-18 13:10:10 +09:00
Bulhwi Cha 25141b9613 add some translation keys 2024-10-17 20:03:46 +09:00
Taehyun Lee 5a404a9a58 Generate translation.json of Korean 2024-09-07 21:16:18 +09:00
rexwzh 6bd9e95db9 update zh-translation 2024-06-23 13:53:19 +08:00
Jon Eugster 6b5fc80896 Update client/public/locales/es/translation.json 2024-06-02 10:34:18 +02:00
Jon Eugster e56c7a0670 Update client/public/locales/es/translation.json 2024-06-02 10:32:59 +02:00
Jon Eugster 5b710da197 Update client/public/locales/es/translation.json 2024-06-02 10:32:51 +02:00
miguelmarco b275bbb94f Update translation.json 
Spanish translation of the UI.
 2024-05-31 18:55:00 +02:00
Jon Eugster 29eb90e6c8 add spanish 2024-05-31 13:00:43 +02:00
Jon Eugster d456621875 apply suggestions from PR #206 manually 2024-04-09 09:47:05 +02:00
Jon Eugster a8d3169ebb add some translation keys 2024-04-06 15:25:31 +02:00
Jon Eugster 3124d90cd6 typo 2024-03-29 12:36:39 +01:00
Jon Eugster 10391b616c add chinese translations 2024-03-28 20:45:50 +01:00
Jon Eugster aaa6c3b576 add german translations 2024-03-27 02:17:46 +01:00
Jon Eugster 389e120117 add translations 2024-03-26 02:49:48 +01:00
Jon Eugster ee9fd18a56 use global configs in i18n-scanner 2024-03-26 01:16:21 +01:00
Jon Eugster ebda6cc162 more progress on internationalisation 2024-03-26 00:30:55 +01:00
Jon Eugster 7e9514fe96 mark all texts for translation #179 2024-03-25 23:51:19 +01:00
Jon Eugster 038dbe71b8 fix i18next-scanner overwriting existing translations 2024-03-25 23:00:05 +01:00
Jon Eugster 8d0493acb5 make preferences work #179 2024-03-25 22:23:03 +01:00
Jon Eugster 45bc0468df implement i18next and i18next-scanner 2024-03-24 17:37:31 +01:00
joneugster 3d97cff0f4 change to vite 2023-11-08 09:30:59 +01:00
Jon Eugster d6402fba58 add impressum to noscript 2023-07-19 14:56:15 +02:00
Jon Eugster 9d1c5cb512 fix viewport scale 2023-05-04 15:29:13 +02:00
Jon Eugster f17d56d7e5 css landing page 2023-05-04 14:54:43 +02:00
Alexander Bentkamp 7e78445c43 import editor 2022-11-23 12:51:21 +01:00
Alexander Bentkamp 732754c9fc rework build process 2022-10-18 16:03:15 +02:00
Alexander BentkampandPatrick Massot PatrickMassot@users.noreply.github.com 7563730292 init 
initalize repo

Co-authored-by: Patrick Massot PatrickMassot@users.noreply.github.com
 2022-10-17 15:12:26 +02:00