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

• 464a2ced90 read level module form json Alexander Bentkamp 2023-12-15 14:56:10 +01:00
• 6ab6a4e517 cleanup Alexander Bentkamp 2023-12-15 14:05:25 +01:00
• 89494b62fc fix import Alexander Bentkamp 2023-12-14 22:51:45 +01:00
• 43ddced24d use initialization options for inventory Alexander Bentkamp 2023-12-14 20:57:04 +01:00
• 12825f2121 setInventory Alexander Bentkamp 2023-12-14 15:25:47 +01:00
• f871078869 shutdown request Alexander Bentkamp 2023-12-14 14:53:19 +01:00
• 818c932496 load game data from json in FileWorker Alexander Bentkamp 2023-12-14 14:43:00 +01:00
• 1b02d31f52 remove watchdog (but some TODOs left) Alexander Bentkamp 2023-12-13 14:33:54 +01:00
• 99a07072d0 establish connection in each level Alexander Bentkamp 2023-12-09 15:30:19 +01:00
• bffc9fcefb bump to v4.4.0-rc1 v4.4.0-rc1 Jon Eugster 2023-12-08 21:09:44 +01:00
• 614b762b6c rename LemmaDoc into TheoremDoc and so on Jon Eugster 2023-12-15 16:05:49 +01:00
• c4f4dbdc6b update doc #171 Jon Eugster 2023-12-15 00:04:54 +01:00
• 5a78118bb6 improve display of buttons on mobile Jon Eugster 2023-12-14 23:04:18 +01:00
• a6775d5495 move 'show more help'-button on mobile #143 Jon Eugster 2023-12-14 22:13:44 +01:00
• 03a370464b fix altTitle for backwards compatibility Jon Eugster 2023-12-14 22:06:53 +01:00
• eaa214ec37 improve world tree on mobile #101 Jon Eugster 2023-12-14 21:59:47 +01:00
• d7f1f70d41 Merge pull request #168 from Wzixiao/mobile-option Jon Eugster 2023-12-14 21:53:08 +01:00
• 2d0f69d337 fix: prevent multiple NewTactic per level #125 Jon Eugster 2023-12-14 21:44:36 +01:00
• 1ab50710f5 fix: update rules slider on erasing progress #157 Jon Eugster 2023-12-14 21:24:08 +01:00
• e76e287763 fix: persistent lemma tab #144 Jon Eugster 2023-12-14 21:14:42 +01:00
• 5fd49abb90 improve hover text for inventory items #144 Jon Eugster 2023-12-14 21:05:37 +01:00
• 4b7d540a80 update fortawesome packages to matching versions Jon Eugster 2023-12-14 20:49:38 +01:00
• aec196deff add button to copy inventory item name to clipboard #144 Jon Eugster 2023-12-14 20:26:31 +01:00
• ae636a03ed fix: hide hidden inventory items in overview #169 Jon Eugster 2023-12-14 19:01:11 +01:00
• deec431620 Merge branch 'dev' into mobile-option #168 Jon Eugster 2023-12-13 15:20:24 +01:00
• 391285e5cc Merge branch 'dev' into mobile-option mobile-option Jon Eugster 2023-12-13 14:59:45 +01:00
• 9f692ccf61 Add basic preference framework and mobile options and Add missing files ran 2023-12-13 00:37:50 +08:00
• 47d7f606c6 Add basic preference framework and mobile options ran 2023-12-13 00:34:38 +08:00
• 5aa0764844 add comment Jon Eugster 2023-12-12 14:41:54 +01:00
• 93c55dc9f7 Merge pull request #167 from Wzixiao/home-button-margin Jon Eugster 2023-12-12 13:43:21 +01:00
• aab7441323 Merge pull request #166 from Wzixiao/app-bar-align-center Jon Eugster 2023-12-12 13:42:00 +01:00
• 2ba36b91d5 Adjust the margin of the home button #167 ran 2023-12-12 19:51:20 +08:00
• a2726ae287 Adjust the top navigation bar so that it is centered above and below #166 ran 2023-12-12 19:29:21 +08:00
• 7515561883 Add a button to toggle mobile ran 2023-12-12 19:17:55 +08:00
• 8c39fb6664 cleanup; including using doc comment syntax for documentation like TacticDoc cleanup_stuff joneugster 2023-12-11 19:38:58 +01:00
• 5f52e23f29 Update hints.md Jon Eugster 2023-12-11 16:04:37 +01:00
• bb214f426b Merge branch 'dev' into world_overviews #129 world_overviews Jon Eugster 2023-12-10 00:18:47 +01:00
• b067dea6e7 Update README.md Jon Eugster 2023-12-09 23:38:18 +01:00
• 4edf67f0d6 Update README.md Jon Eugster 2023-12-09 23:37:59 +01:00
• 004f81835f write more docs Jon Eugster 2023-12-09 23:34:39 +01:00
• 527f58e3a4 separate lean server from socket server Jon Eugster 2023-12-09 22:42:40 +01:00
• b239a5d3dc Merge branch 'main' into dev Jon Eugster 2023-12-09 22:09:58 +01:00
• 63cf5e8b72 update docs Jon Eugster 2023-12-09 22:09:05 +01:00
• 25f166f57f do not filter hidden hints #142 Jon Eugster 2023-12-09 22:06:12 +01:00
• c89e2e4020 remove consequtive identical hints #142 Jon Eugster 2023-12-09 13:27:03 +01:00
• f6738faf46 golf Jon Eugster 2023-12-09 10:52:41 +01:00
• cb7224934c fix cwd for gameserver Jon Eugster 2023-12-08 21:06:31 +01:00
• 13d54ff0ff fix gameserver path Jon Eugster 2023-12-08 20:38:35 +01:00
• 72e4011c62 update vite Jon Eugster 2023-12-08 18:35:29 +01:00
• 4f5256fa88 fix bubblewrap script Jon Eugster 2023-12-08 18:32:45 +01:00
• c2b9175fe5 use the gameserver of each game individually Jon Eugster 2023-12-08 18:14:35 +01:00
• a1a6862b5a add tmp option to test images Jon Eugster 2023-12-08 10:18:00 +01:00
• 0a057913be update landing page Jon Eugster 2023-12-08 03:16:26 +01:00
• bedb2ad5ec Update README.md Jon Eugster 2023-12-08 02:22:10 +01:00
• e02e73c1c0 Update DOCUMENTATION.md Jon Eugster 2023-12-08 02:17:30 +01:00
• c82a88867f Update create_game.md Jon Eugster 2023-12-08 02:12:09 +01:00
• 8b43aed596 Update publish_game.md Jon Eugster 2023-12-08 01:57:47 +01:00
• 8c84d3fae7 Merge branch 'dev' Jon Eugster 2023-12-08 01:54:02 +01:00
• d5697d052e images folder might not exist v4.3.0 Jon Eugster 2023-12-08 00:58:17 +01:00
• 0e652256f8 Revert "update lean4web dependency" Jon Eugster 2023-12-08 00:51:28 +01:00
• 9492c1011a Revert "use pre-cleanup commit of lean4web" Jon Eugster 2023-12-08 00:51:17 +01:00
• 54bab2a016 add support for images Jon Eugster 2023-12-08 00:39:31 +01:00
• 3f8b180b04 use pre-cleanup commit of lean4web Alexander Bentkamp 2023-12-07 21:38:51 +01:00
• 23b1074aa2 cleanup tmp files after import Jon Eugster 2023-12-07 18:09:12 +01:00
• 0964a06f2f Merge pull request #159 from Wzixiao/cache-typewriter-mode Jon Eugster 2023-12-07 16:00:19 +01:00
• b17c8fc4cb remove \n in progress.ts 211 line #159 ran 2023-12-07 21:45:47 +08:00
• 0c4ae92856 Optimize the typewriterMode code logic about the game ran 2023-12-07 21:43:50 +08:00
• 088711b5d1 Use 'progress' to construct the processing flow of typewriterMode ran 2023-12-07 21:38:15 +08:00
• 4c93b3a091 Update running_locally.md Jon Eugster 2023-12-07 14:10:03 +01:00
• aa00e359c4 Add the function of caching typewriterMode ran 2023-12-07 15:06:58 +08:00
• f6a2632d80 fix error message on importing non-existing game tile joneugster 2023-12-07 02:29:56 +01:00
• f2190d648f fix manual dependencies being added twice to svg joneugster 2023-12-07 02:28:57 +01:00
• d7fd8709cb fix inventory sorting #158 joneugster 2023-12-07 02:27:24 +01:00
• 7a03c4fe0d move landing page tiles to the games joneugster 2023-12-06 18:21:37 +01:00
• 333c9498f1 Update update_game.md Jon Eugster 2023-12-01 14:50:27 +01:00
• 121b36b542 bump to v4.3.0 joneugster 2023-12-01 12:19:31 +01:00
• 6bced7575b update lean4web dependency Alexander Bentkamp 2023-12-01 11:32:17 +01:00
• d18b48db2f make json files directly accessible Alexander Bentkamp 2023-11-30 20:55:03 +01:00
• 97dc648452 use goal lctx for hints Alexander Bentkamp 2023-11-30 20:38:25 +01:00
• 472e2c66df remove old-nng tile joneugster 2023-11-30 20:29:47 +01:00
• 622e9d3897 Update update_game.md v4.3.0-rc2 Jon Eugster 2023-11-30 19:32:38 +01:00
• 7f91ae7da8 Merge branch 'dev' joneugster 2023-11-30 19:29:18 +01:00
• 28a7c65db2 update doc, including #148 joneugster 2023-11-30 19:26:42 +01:00
• 56525c6234 update doc joneugster 2023-11-30 17:39:29 +01:00
• 44f7b6703e Revert "fix variables in hints" joneugster 2023-11-30 12:16:06 +01:00
• 8851cd8b1f fix variables in hints joneugster 2023-11-30 11:18:56 +01:00
• bae360874c json api Alexander Bentkamp 2023-11-30 10:47:55 +01:00
• 07b6525c58 fix local setup joneugster 2023-11-30 09:20:16 +01:00
• 8e8026aa38 more fixing joneugster 2023-11-29 15:17:16 +01:00
• a3a421f504 fix bubblewrap script joneugster 2023-11-29 15:14:00 +01:00
• 084e25c0dc wip on imports joneugster 2023-11-29 14:43:33 +01:00
• 6580afb622 fix names in hints Alexander Bentkamp 2023-11-28 20:51:10 +01:00
• 0c0a7ab400 bubblewrap test joneugster 2023-11-28 16:32:19 +01:00
• dfb2f10219 correct std version joneugster 2023-11-28 16:27:00 +01:00
• a57a5af111 also display loading of constants Alexander Bentkamp 2023-11-28 14:52:56 +01:00
• 946a7fa673 update gitignore joneugster 2023-11-28 14:26:41 +01:00
• 244c373192 model.dispose() Alexander Bentkamp 2023-11-28 14:05:15 +01:00
• 374afa318a fix gameserver path Alexander Bentkamp 2023-11-28 13:55:14 +01:00
• d0636b1d85 update workflow joneugster 2023-11-27 16:50:45 +01:00
• 2e121363b3 update workflow joneugster 2023-11-27 16:47:35 +01:00