Commit Graph

Select branches

Hide Pull Requests

add_game_knights

better-timeout

bump_v4.8.0

check_upload_size

cleanup_stuff

dev

joneugster-patch-1

joneugster-patch-1-1

main

mobile-option

nowatchdog

server_capacity

stats

ubuntu-test

v4.5.0-bump

v4.6.0-bump

wasm

wasm2

world_overviews

#116

#118

#120

#129

#129

#132

#139

#139

#153

#159

#166

#167

#168

#181

#182

#184

#185

#186

#203

#204

#205

#206

#220

#224

#234

#236

#244

#248

#250

#251

#251

#253

#259

#260

#261

#262

#262

#266

#266

#267

#268

#269

#274

#274

#279

#279

#280

#281

#283

#285

#285

#287

#288

#288

#43

#53

#54

#68

#79

#83

#99

v4.1.0

v4.2.0

v4.3.0

v4.3.0-rc2

v4.4.0

v4.4.0-rc1

v4.5.0

v4.6.0

v4.6.1

v4.7.0

Mono Color

• 02d0d57453 fail gracefully on bad gameId #150 Jon Eugster 2024-06-11 01:05:43 +02:00
• 762c1ef0c4 drop comment Jon Eugster 2024-06-11 00:56:29 +02:00
• 4652f6d50f add support for external images in chat #235 Jon Eugster 2024-06-11 00:25:50 +02:00
• f158250341 improve chat scrolling #82 Jon Eugster 2024-06-10 23:59:23 +02:00
• 446d0296f0 partial bump to v4.8.0: simple fixes bump_v4.8.0 Jon Eugster 2024-06-07 02:06:21 +02:00
• 7dc0a507ed fix css Jon Eugster 2024-06-07 01:20:30 +02:00
• 80d4b88f5a mostly remove 'world' as a word #237 Jon Eugster 2024-06-06 12:33:04 +02:00
• 714b4f45b1 redefine chat scrolling #230 Jon Eugster 2024-06-06 02:37:26 +02:00
• 6da902aede cleanup chat css Jon Eugster 2024-06-06 01:27:42 +02:00
• cdffe03f9a cleanup chat Jon Eugster 2024-06-05 18:47:20 +02:00
• adeed03da8 cleanup; including cleaning up chat Jon Eugster 2024-06-05 18:41:01 +02:00
• b091ec579b Merge pull request #236 from RexWzh/main Jon Eugster 2024-06-04 20:38:30 +02:00
• 2a14f48f45 use environment variable for port #236 cubenlp 2024-06-04 23:34:33 +08:00
• 4ed0753bb0 Merge pull request #234 from miguelmarco/patch-1 Jon Eugster 2024-06-02 10:36:46 +02:00
• 6b5fc80896 Update client/public/locales/es/translation.json #234 Jon Eugster 2024-06-02 10:34:18 +02:00
• e56c7a0670 Update client/public/locales/es/translation.json Jon Eugster 2024-06-02 10:32:59 +02:00
• 5b710da197 Update client/public/locales/es/translation.json Jon Eugster 2024-06-02 10:32:51 +02:00
• b275bbb94f Update translation.json miguelmarco 2024-05-31 18:55:00 +02:00
• 29eb90e6c8 add spanish Jon Eugster 2024-05-31 13:00:43 +02:00
• 8e3dfdea30 wip Jon Eugster 2024-05-24 15:34:33 +02:00
• 71fad5699e turn defeq-hints on by default #45 Jon Eugster 2024-05-23 16:35:52 +02:00
• a7d746a8e5 add defeq-hints #45 Jon Eugster 2024-05-23 16:33:55 +02:00
• c735211cd8 cleanup Jon Eugster 2024-05-17 00:43:48 +02:00
• 369b77f00f add search parameter to set language #220 Jon Eugster 2024-05-17 00:17:44 +02:00
• 895c71dc91 cleanup Jon Eugster 2024-05-16 23:40:21 +02:00
• 8b5d6ff2f3 improve language selection Jon Eugster 2024-05-16 23:26:50 +02:00
• c1642cf09b cleanup: popups Jon Eugster 2024-05-16 17:27:16 +02:00
• d82ef8af8f refactor: navigation and other stuff Jon Eugster 2024-05-16 02:31:41 +02:00
• 08875e4415 style error page Jon Eugster 2024-05-07 17:13:03 +02:00
• 5765c78a1d add submenu for inventory categories Jon Eugster 2024-05-03 16:30:36 +02:00
• b9112bfb09 add 'using' as known keyword Jon Eugster 2024-05-03 15:16:19 +02:00
• 4e9ac54cde Merge pull request #224 from JadAbouHawili/patch-1 Jon Eugster 2024-05-03 14:28:29 +02:00
• 18f21fa324 Typo in documentation, hints.md #224 JadAbouHawili 2024-05-02 17:38:30 +00:00
• 05fbee9365 mark inventory item from the last level Jon Eugster 2024-04-25 15:11:31 +02:00
• 1daef0d80f show exercise name even if no text present Jon Eugster 2024-04-25 15:10:51 +02:00
• 06cc52bb7e mark tabs with new theorems Jon Eugster 2024-04-24 17:01:33 +02:00
• eac945e7b5 update impressum & privacy policy Jon Eugster 2024-04-24 14:31:29 +02:00
• a1b1a33a9b remove more flags #208 Jon Eugster 2024-04-19 10:07:09 +02:00
• 02978a38ed add allowed keywords #215 Jon Eugster 2024-04-18 18:22:03 +02:00
• 8cf358e17b add config option to disable flags in preferences #208 Jon Eugster 2024-04-18 18:06:56 +02:00
• 3ddcc35137 Merge pull request #206 from JiechengZhao/cn-i18n Jon Eugster 2024-04-18 12:27:56 +02:00
• 4e7c958348 Update client/public/locales/zh/translation.json #206 Jon Eugster 2024-04-18 12:24:29 +02:00
• 237371a77f Merge branch 'main' of https://github.com/leanprover-community/lean4game into cn-i18n Hydrogenbear 2024-04-18 10:23:14 +08:00
• f308e1ad49 fix CSS of tooltips #207 Jon Eugster 2024-04-17 12:54:13 +02:00
• 62f1fb87d1 add numpad-enter key #212 Jon Eugster 2024-04-17 12:23:53 +02:00
• c5df85ce66 Add a missed translation Hydrogenbear 2024-04-11 19:38:33 +08:00
• 848b2cddc8 fix hhu-adam/Robo#22 Jon Eugster 2024-04-11 11:59:03 +02:00
• d034148bec Update README.md Jon Eugster 2024-04-11 10:30:08 +02:00
• 3d9d244b31 mark another string from translation Jon Eugster 2024-04-10 17:12:55 +02:00
• feaf6dae0c Update translate.md Jon Eugster 2024-04-10 16:17:44 +02:00
• 6059ff1da7 Update translate.md Jon Eugster 2024-04-10 16:17:27 +02:00
• 6f95f41d14 Update translate.md Jon Eugster 2024-04-10 16:15:19 +02:00
• 335209b094 Update README.md Jon Eugster 2024-04-10 16:13:06 +02:00
• de1ff4fadc Update create_game.md Jon Eugster 2024-04-10 16:12:35 +02:00
• db66cb1fcc Create translate.md Jon Eugster 2024-04-10 16:11:12 +02:00
• 66aa8e688e npm audit v4.7.0 Jon Eugster 2024-04-10 14:46:48 +02:00
• a523bab1d6 fix css warning Jon Eugster 2024-04-10 14:45:17 +02:00
• 499bb00d4f fix language loading on landing page Jon Eugster 2024-04-10 14:43:30 +02:00
• 67b03d9ccf bump to v4.7.0 Jon Eugster 2024-04-10 14:06:41 +02:00
• a15dd0a1bd bump i18n Jon Eugster 2024-04-10 11:23:27 +02:00
• ded9c38170 Merge remote-tracking branch 'upstream/dev' into cn-i18n Hydrogenbear 2024-04-10 08:30:36 +08:00
• d456621875 apply suggestions from PR #206 manually Jon Eugster 2024-04-09 09:47:05 +02:00
• 74059bd5af fix typo Jon Eugster 2024-04-08 23:20:21 +02:00
• ce71bc81c6 remove logInfo for Branch finishing proof Jon Eugster 2024-04-08 12:23:07 +02:00
• 7cedfc5038 mark some server messages for translation Jon Eugster 2024-04-06 15:40:06 +02:00
• a8d3169ebb add some translation keys Jon Eugster 2024-04-06 15:25:31 +02:00
• 9b05a27888 use translation of level title Jon Eugster 2024-04-06 14:56:19 +02:00
• af5426856e Some updates, and fix. Hydrogenbear 2024-04-01 12:35:17 +08:00
• 470a184cac some update Jiecheng 2024-04-01 07:44:34 +08:00
• 1006097e32 Merge branch 'dev' of https://github.com/leanprover-community/lean4game into cn-i18n Hydrogenbear 2024-03-30 09:46:40 +08:00
• 3124d90cd6 typo Jon Eugster 2024-03-29 12:36:39 +01:00
• 5a768c25b7 mark two more translations Jon Eugster 2024-03-29 12:34:57 +01:00
• 39be34e83a improve landing page Jon Eugster 2024-03-29 12:27:14 +01:00
• dd7a2d1bc1 bump lean-i18n Jon Eugster 2024-03-29 12:23:37 +01:00
• 684a1bc72b fix initial translation loading on starting page Jon Eugster 2024-03-29 12:16:36 +01:00
• 10391b616c add chinese translations Jon Eugster 2024-03-28 20:45:50 +01:00
• 1431ff8b49 remove the mistyped key Hydrogenbear 2024-03-28 10:21:10 +08:00
• d3a55a4dd3 add Chinese translation #205 Hydrogenbear 2024-03-28 10:07:57 +08:00
• aaa6c3b576 add german translations Jon Eugster 2024-03-27 02:17:46 +01:00
• d60dc3fcb2 mark most of the game text for translation Jon Eugster 2024-03-27 02:03:05 +01:00
• 1a54edffd4 bump lean-i18n and other stuff Jon Eugster 2024-03-27 01:37:58 +01:00
• ad1add5264 support translations of the games Jon Eugster 2024-03-27 00:22:51 +01:00
• a26022e3fc fix css Jon Eugster 2024-03-26 19:10:23 +01:00
• 7c44d49b2a images on all levels Jon Eugster 2024-03-26 17:24:53 +01:00
• a111814973 improve error messages Jon Eugster 2024-03-26 14:59:02 +01:00
• a7784ef66b center github icon Jon Eugster 2024-03-26 10:04:39 +01:00
• 389e120117 add translations Jon Eugster 2024-03-26 02:49:48 +01:00
• ee9fd18a56 use global configs in i18n-scanner Jon Eugster 2024-03-26 01:16:21 +01:00
• 8b29f88407 use flags for game tiles Jon Eugster 2024-03-26 01:02:23 +01:00
• ebda6cc162 more progress on internationalisation Jon Eugster 2024-03-26 00:30:55 +01:00
• 7e9514fe96 mark all texts for translation #179 Jon Eugster 2024-03-25 23:51:19 +01:00
• 038dbe71b8 fix i18next-scanner overwriting existing translations Jon Eugster 2024-03-25 23:00:05 +01:00
• 19d2ea363a refactor i18next-scanner config Jon Eugster 2024-03-25 22:44:26 +01:00
• 3ac8fdace7 mark translations in app-bar Jon Eugster 2024-03-25 22:30:55 +01:00
• 8d0493acb5 make preferences work #179 Jon Eugster 2024-03-25 22:22:57 +01:00
• 27c661f08f modify generated statement in inventory Jon Eugster 2024-03-25 21:15:35 +01:00
• b37f050da5 Merge pull request #204 from noamraph/patch-1 Jon Eugster 2024-03-25 18:51:48 +01:00
• 09c81ea43f Update level.css - hide .katex-mathml, to fix scrolling issue #204 Noam Yorav-Raphael 2024-03-25 19:10:33 +02:00
• ff12b34295 add suspense to wait for loading #179 Jon Eugster 2024-03-25 13:43:01 +01:00
• 45bc0468df implement i18next and i18next-scanner Jon Eugster 2024-03-24 17:37:31 +01:00