phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,014 Commits 19 Branches 10 Tags
d034148bec3a433eac40cf3be2573bc1c2c0299e
Commit Graph
1014 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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
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
Jon Eugster a111814973 improve error messages 2024-03-26 14:59:02 +01:00
Jon Eugster a7784ef66b center github icon 2024-03-26 10:04:39 +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 8b29f88407 use flags for game tiles 2024-03-26 01:02:23 +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 19d2ea363a refactor i18next-scanner config 2024-03-25 22:44:26 +01:00
Jon Eugster 3ac8fdace7 mark translations in app-bar 2024-03-25 22:30:55 +01:00
Jon Eugster 8d0493acb5 make preferences work #179 2024-03-25 22:23:03 +01:00
Jon Eugster 27c661f08f modify generated statement in inventory 2024-03-25 22:23:03 +01:00
Jon Eugster b37f050da5 Merge pull request #204 from noamraph/patch-1 
Update level.css - hide .katex-mathml, to fix scrolling issue
 2024-03-25 18:51:48 +01:00
Noam Yorav-Raphael 09c81ea43f Update level.css - hide .katex-mathml, to fix scrolling issue 
Fixes https://github.com/leanprover-community/lean4game/issues/202
 2024-03-25 19:10:33 +02:00
Jon Eugster ff12b34295 add suspense to wait for loading #179 2024-03-25 13:43:01 +01:00
Jon Eugster 45bc0468df implement i18next and i18next-scanner 2024-03-24 17:37:31 +01:00
Jon Eugster c24efb1377 Merge pull request #203 from JiechengZhao/main 
add next_i18n
 2024-03-23 13:25:18 +01:00
Hydrogenbear 830bffaf11 Remove gitignore introduced by accidently lake init 2024-03-23 09:07:30 +08:00
Jon Eugster a9447a70d4 add interface buttons for i18n #179 2024-03-23 01:11:42 +01:00
Jon Eugster eaa4eecad2 add doc 2024-03-22 23:27:08 +01:00