phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,052 Commits 19 Branches 10 Tags
80d4b88f5aeb5a6833c3f9f07607acc435cd9848
Commit Graph
477 Commits
Author SHA1 Message Date
Jon Eugster 80d4b88f5a mostly remove 'world' as a word #237 2024-06-06 12:33:04 +02:00
Jon Eugster 714b4f45b1 redefine chat scrolling #230 2024-06-06 02:37:26 +02:00
Jon Eugster 6da902aede cleanup chat css 2024-06-06 01:27:42 +02:00
Jon Eugster cdffe03f9a cleanup chat 2024-06-05 18:47:20 +02:00
Jon Eugster adeed03da8 cleanup; including cleaning up chat 2024-06-05 18:41:01 +02:00
Jon Eugster 8e3dfdea30 wip 2024-05-24 15:34:33 +02:00
Jon Eugster c735211cd8 cleanup 2024-05-17 00:43:54 +02:00
Jon Eugster 369b77f00f add search parameter to set language #220 2024-05-17 00:17:44 +02:00
Jon Eugster 895c71dc91 cleanup 2024-05-16 23:40:21 +02:00
Jon Eugster 8b5d6ff2f3 improve language selection 2024-05-16 23:26:50 +02:00
Jon Eugster c1642cf09b cleanup: popups 2024-05-16 17:27:16 +02:00
Jon Eugster d82ef8af8f refactor: navigation and other stuff 2024-05-16 02:31:41 +02:00
Jon Eugster 08875e4415 style error page 2024-05-07 17:13:03 +02:00
Jon Eugster 5765c78a1d add submenu for inventory categories 2024-05-03 16:30:36 +02:00
Jon Eugster 05fbee9365 mark inventory item from the last level 2024-04-25 15:11:31 +02:00
Jon Eugster 1daef0d80f show exercise name even if no text present 2024-04-25 15:10:51 +02:00
Jon Eugster 06cc52bb7e mark tabs with new theorems 2024-04-24 17:01:33 +02:00
Jon Eugster eac945e7b5 update impressum & privacy policy 2024-04-24 14:31:29 +02:00
Jon Eugster a1b1a33a9b remove more flags #208 2024-04-19 10:07:09 +02:00
Jon Eugster 8cf358e17b add config option to disable flags in preferences #208 2024-04-18 18:06:56 +02:00
Jon Eugster 3ddcc35137 Merge pull request #206 from JiechengZhao/cn-i18n 
add Chinese translation
 2024-04-18 12:27:56 +02:00
Jon Eugster 4e7c958348 Update client/public/locales/zh/translation.json 2024-04-18 12:24:29 +02:00
Hydrogenbear 237371a77f Merge branch 'main' of https://github.com/leanprover-community/lean4game into cn-i18n 2024-04-18 10:23:14 +08:00
Jon Eugster f308e1ad49 fix CSS of tooltips #207 2024-04-17 12:54:13 +02:00
Jon Eugster 62f1fb87d1 add numpad-enter key #212 2024-04-17 12:23:53 +02:00
Hydrogenbear c5df85ce66 Add a missed translation 2024-04-11 19:38:33 +08:00
Jon Eugster 848b2cddc8 fix hhu-adam/Robo#22 2024-04-11 11:59:03 +02:00
Jon Eugster 3d9d244b31 mark another string from translation 2024-04-10 17:12:55 +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
Hydrogenbear ded9c38170 Merge remote-tracking branch 'upstream/dev' into cn-i18n 2024-04-10 08:30:36 +08: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 9b05a27888 use translation of level title 2024-04-06 14:56:19 +02:00
Hydrogenbear af5426856e Some updates, and fix. 2024-04-01 12:35:17 +08:00
Jiecheng 470a184cac some update 2024-04-01 07:50:22 +08:00
Hydrogenbear 1006097e32 Merge branch 'dev' of https://github.com/leanprover-community/lean4game into cn-i18n 2024-03-30 09:46:40 +08: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 684a1bc72b fix initial translation loading on starting page 2024-03-29 12:16:36 +01:00
Jon Eugster 10391b616c add chinese translations 2024-03-28 20:45:50 +01:00
Hydrogenbear 1431ff8b49 remove the mistyped key 2024-03-28 10:21:10 +08:00
Hydrogenbear d3a55a4dd3 add Chinese translation 2024-03-28 10:07:57 +08:00
Jon Eugster aaa6c3b576 add german translations 2024-03-27 02:17:46 +01:00
Jon Eugster d60dc3fcb2 mark most of the game text for translation 2024-03-27 02:03:05 +01:00
Jon Eugster 1a54edffd4 bump lean-i18n and other stuff 2024-03-27 01:37:58 +01:00
Jon Eugster ad1add5264 support translations of the games 2024-03-27 00:22:51 +01:00
Jon Eugster a26022e3fc fix css 2024-03-26 19:10:23 +01:00
Jon Eugster 7c44d49b2a images on all levels 2024-03-26 17:24:53 +01:00