phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,042 Commits 19 Branches 10 Tags
36499c02571b6a2d96cb4d5a5c4fd80137b0f063
Commit Graph
1042 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Jon Eugster 36499c0257 add note for servers with different base url 2024-08-27 14:52:20 +02:00
Jon EugsterandJadAbouHawili 8c5e47dd7b improve doc, adaptation of #250 
Co-authored-by: JadAbouHawili <jad-abou-hawili@hotmail.com>
 2024-07-31 17:13:24 +02:00
Jon Eugster a46840d327 Merge pull request #253 from pitmonticone/fix-typos 
Fix typos
 2024-07-25 06:50:11 +02:00
Pietro Monticone f518efc81c Update LetIntros.lean 2024-07-24 11:06:26 +02:00
Pietro Monticone 9b93e3817d Update RpcHandlers.lean 2024-07-24 11:06:24 +02:00
Pietro Monticone 54c1e0dcaf Update FileWorker.lean 2024-07-24 11:06:22 +02:00
Pietro Monticone 2c1e69611b Update Commands.lean 2024-07-24 11:06:21 +02:00
Pietro Monticone 2c22c445b1 Update AbstractCtx.lean 2024-07-24 11:06:19 +02:00
Pietro Monticone b6b31a06ac Update README.md 2024-07-24 11:06:16 +02:00
Jon Eugster 255839fea7 Merge pull request #248 from Lean-zh/main 
Environment Variable for Default Language Setting
 2024-07-12 10:00:26 +02:00
Jon Eugster b961030db2 Update hints.md 2024-07-12 09:54:02 +02:00
rexwzh c20d807d5c add default language configuration 2024-07-11 01:51:17 +08:00
Jon Eugster 23c8099401 Merge pull request #244 from RexWzh/main 
Update ZH-Translation for Lean Game Server
 2024-06-25 17:01:18 +02:00
rexwzh 6bd9e95db9 update zh-translation 2024-06-23 13:53:19 +08:00
Jon Eugster 1febc51791 Update create_game.md 2024-06-13 11:46:01 +02:00
Jon Eugster d53b57a764 Update create_game.md 2024-06-13 11:45:33 +02:00
Jon Eugster 020b4f7803 Update create_game.md 2024-06-13 11:43:07 +02:00
Jon Eugster 0ae099414c Update create_game.md 2024-06-13 10:39:31 +02:00
Jon Eugster b091ec579b Merge pull request #236 from RexWzh/main 
Fix Bug with Environment Variables for Ports
 2024-06-04 20:38:30 +02:00
cubenlp 2a14f48f45 use environment variable for port 2024-06-04 23:34:33 +08:00
Jon Eugster 4ed0753bb0 Merge pull request #234 from miguelmarco/patch-1 
Spanish translation of the UI
 2024-06-02 10:36:46 +02: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 4e9ac54cde Merge pull request #224 from JadAbouHawili/patch-1 
Typo in documentation, hints.md
 2024-05-03 14:28:29 +02:00
JadAbouHawili 18f21fa324 Typo in documentation, hints.md 2024-05-02 17:38:30 +00:00
Jon Eugster d034148bec Update README.md 2024-04-11 10:30:08 +02:00
Jon Eugster feaf6dae0c Update translate.md 2024-04-10 16:17:44 +02:00
Jon Eugster 6059ff1da7 Update translate.md 2024-04-10 16:17:27 +02:00
Jon Eugster 6f95f41d14 Update translate.md 2024-04-10 16:15:19 +02:00
Jon Eugster 335209b094 Update README.md 2024-04-10 16:13:06 +02:00
Jon Eugster de1ff4fadc Update create_game.md 2024-04-10 16:12:35 +02:00
Jon Eugster db66cb1fcc Create translate.md 2024-04-10 16:11:12 +02:00
Jon Eugster 66aa8e688e npm audit v4.7.0 2024-04-10 14:46:48 +02:00
Jon Eugster a523bab1d6 fix css warning 2024-04-10 14:45:17 +02:00
Jon Eugster 499bb00d4f fix language loading on landing page 2024-04-10 14:43:30 +02:00
Jon Eugster 67b03d9ccf bump to v4.7.0 2024-04-10 14:06:41 +02:00
Jon Eugster a15dd0a1bd bump i18n 2024-04-10 11:23:27 +02:00
Jon Eugster d456621875 apply suggestions from PR #206 manually 2024-04-09 09:47:05 +02:00
Jon Eugster 74059bd5af fix typo 2024-04-08 23:20:21 +02:00
Jon Eugster ce71bc81c6 remove logInfo for Branch finishing proof 2024-04-08 12:23:07 +02:00
Jon Eugster 7cedfc5038 mark some server messages for translation 2024-04-06 15:40:06 +02:00
Jon Eugster a8d3169ebb add some translation keys 2024-04-06 15:25:31 +02:00
Jon Eugster 9b05a27888 use translation of level title 2024-04-06 14:56:19 +02:00
Jon Eugster 3124d90cd6 typo 2024-03-29 12:36:39 +01:00
Jon Eugster 5a768c25b7 mark two more translations 2024-03-29 12:34:57 +01:00
Jon Eugster 39be34e83a improve landing page 2024-03-29 12:27:14 +01:00
Jon Eugster dd7a2d1bc1 bump lean-i18n 2024-03-29 12:23:37 +01:00