Pietro Monticone
|
2c22c445b1
|
Update AbstractCtx.lean
|
2 years ago |
|
Pietro Monticone
|
b6b31a06ac
|
Update README.md
|
2 years ago |
Jon Eugster
|
255839fea7
|
Merge pull request #248 from Lean-zh/main
Environment Variable for Default Language Setting
|
2 years ago |
|
Jon Eugster
|
b961030db2
|
Update hints.md
|
2 years ago |
rexwzh
|
c20d807d5c
|
add default language configuration
|
2 years ago |
|
Jon Eugster
|
23c8099401
|
Merge pull request #244 from RexWzh/main
Update ZH-Translation for Lean Game Server
|
2 years ago |
|
rexwzh
|
6bd9e95db9
|
update zh-translation
|
2 years ago |
|
Jon Eugster
|
1febc51791
|
Update create_game.md
|
2 years ago |
|
Jon Eugster
|
d53b57a764
|
Update create_game.md
|
2 years ago |
|
Jon Eugster
|
020b4f7803
|
Update create_game.md
|
2 years ago |
|
Jon Eugster
|
0ae099414c
|
Update create_game.md
|
2 years ago |
|
Jon Eugster
|
b091ec579b
|
Merge pull request #236 from RexWzh/main
Fix Bug with Environment Variables for Ports
|
2 years ago |
cubenlp
|
2a14f48f45
|
use environment variable for port
|
2 years ago |
|
Jon Eugster
|
4ed0753bb0
|
Merge pull request #234 from miguelmarco/patch-1
Spanish translation of the UI
|
2 years ago |
|
Jon Eugster
|
6b5fc80896
|
Update client/public/locales/es/translation.json
|
2 years ago |
|
Jon Eugster
|
e56c7a0670
|
Update client/public/locales/es/translation.json
|
2 years ago |
|
Jon Eugster
|
5b710da197
|
Update client/public/locales/es/translation.json
|
2 years ago |
miguelmarco
|
b275bbb94f
|
Update translation.json
Spanish translation of the UI.
|
2 years ago |
|
Jon Eugster
|
29eb90e6c8
|
add spanish
|
2 years ago |
|
Jon Eugster
|
4e9ac54cde
|
Merge pull request #224 from JadAbouHawili/patch-1
Typo in documentation, hints.md
|
2 years ago |
JadAbouHawili
|
18f21fa324
|
Typo in documentation, hints.md
|
2 years ago |
|
Jon Eugster
|
d034148bec
|
Update README.md
|
2 years ago |
|
Jon Eugster
|
feaf6dae0c
|
Update translate.md
|
2 years ago |
|
Jon Eugster
|
6059ff1da7
|
Update translate.md
|
2 years ago |
|
Jon Eugster
|
6f95f41d14
|
Update translate.md
|
2 years ago |
|
Jon Eugster
|
335209b094
|
Update README.md
|
2 years ago |
|
Jon Eugster
|
de1ff4fadc
|
Update create_game.md
|
2 years ago |
|
Jon Eugster
|
db66cb1fcc
|
Create translate.md
|
2 years ago |
|
Jon Eugster
|
66aa8e688e
|
npm audit
|
2 years ago |
|
Jon Eugster
|
a523bab1d6
|
fix css warning
|
2 years ago |
|
Jon Eugster
|
499bb00d4f
|
fix language loading on landing page
|
2 years ago |
|
Jon Eugster
|
67b03d9ccf
|
bump to v4.7.0
|
2 years ago |
|
Jon Eugster
|
a15dd0a1bd
|
bump i18n
|
2 years ago |
|
Jon Eugster
|
d456621875
|
apply suggestions from PR #206 manually
|
2 years ago |
|
Jon Eugster
|
74059bd5af
|
fix typo
|
2 years ago |
|
Jon Eugster
|
ce71bc81c6
|
remove logInfo for Branch finishing proof
|
2 years ago |
|
Jon Eugster
|
7cedfc5038
|
mark some server messages for translation
|
2 years ago |
|
Jon Eugster
|
a8d3169ebb
|
add some translation keys
|
2 years ago |
|
Jon Eugster
|
9b05a27888
|
use translation of level title
|
2 years ago |
|
Jon Eugster
|
3124d90cd6
|
typo
|
2 years ago |
|
Jon Eugster
|
5a768c25b7
|
mark two more translations
|
2 years ago |
|
Jon Eugster
|
39be34e83a
|
improve landing page
|
2 years ago |
|
Jon Eugster
|
dd7a2d1bc1
|
bump lean-i18n
|
2 years ago |
|
Jon Eugster
|
684a1bc72b
|
fix initial translation loading on starting page
|
2 years ago |
|
Jon Eugster
|
10391b616c
|
add chinese translations
|
2 years ago |
|
Jon Eugster
|
aaa6c3b576
|
add german translations
|
2 years ago |
|
Jon Eugster
|
d60dc3fcb2
|
mark most of the game text for translation
|
2 years ago |
|
Jon Eugster
|
1a54edffd4
|
bump lean-i18n and other stuff
|
2 years ago |
|
Jon Eugster
|
ad1add5264
|
support translations of the games
|
2 years ago |
|
Jon Eugster
|
a26022e3fc
|
fix css
|
2 years ago |