phc
/
lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • 5a38543e3b
         Merge pull request #185 from leanprover-community/joneugster-patch-1 Jon Eugster 2024-01-18 13:48:08 +0100
  • a4a6f2e725
         Merge pull request #184 from leanprover-community/joneugster-patch-1-1 Jon Eugster 2024-01-18 13:47:48 +0100
  • cc89e78e4c
         Create troubleshoot.md #184 joneugster-patch-1-1 Jon Eugster 2024-01-18 13:47:16 +0100
  • c533a635c2
         Update docs #185 joneugster-patch-1 Jon Eugster 2024-01-18 13:47:08 +0100
  • ab98eaa3ba Change the selected button to a slider ran 2024-01-16 11:21:46 +0800
  • 7114a8c4cb fix: remove tmp files after import Jon Eugster 2024-01-15 12:15:03 +0100
  • b7eb15184d
         Merge pull request #182 from lnay/patch-1 Jon Eugster 2024-01-15 11:24:46 +0100
  • 892c70165a
         Minor: correct error in markdown #182 Luke Naylor 2024-01-12 21:07:19 +0000
  • 8929813e48 Added a missing space regarding code style in store.ts ran 2024-01-12 23:48:47 +0800
  • 5d88cd6739 Remove logically duplicated code ran 2024-01-12 23:44:43 +0800
  • d16956da9b Modify the props definition of the preference popup component ran 2024-01-12 23:43:21 +0800
  • e15e5af126 Add todo about setMobile ran 2024-01-12 23:31:22 +0800
  • 8c93b3c5b3 Modify logic for all preferences ran 2024-01-12 23:29:03 +0800
  • cd1d212a3c npm audit Jon Eugster 2024-01-10 15:40:57 +0100
  • 406c2799b1 bump to v4.5.0-rc1 v4.5.0-bump Jon Eugster 2023-12-25 12:07:56 +0100
  • e579071a3b Merge branch 'v4.4.0' v4.4.0 Jon Eugster 2023-12-25 12:01:49 +0100
  • 8cdac88b5a bump to v4.4.0 Jon Eugster 2023-12-22 13:28:49 +0100
  • 7882958f54
         Update update_game.md Jon Eugster 2023-12-18 16:20:26 +0100
  • c9f97b3285 remove watchdog Alexander Bentkamp 2023-12-15 22:17:09 +0100
  • 2e09526484 $/game/setInventory no longer needed nowatchdog Alexander Bentkamp 2023-12-15 21:48:42 +0100
  • 422f54e8f7 use json file to get levelInfo Alexander Bentkamp 2023-12-15 21:41:13 +0100
  • 464a2ced90 read level module form json Alexander Bentkamp 2023-12-15 14:56:10 +0100
  • 6ab6a4e517 cleanup Alexander Bentkamp 2023-12-15 14:05:25 +0100
  • 89494b62fc fix import Alexander Bentkamp 2023-12-14 22:51:45 +0100
  • 43ddced24d use initialization options for inventory Alexander Bentkamp 2023-12-14 20:57:04 +0100
  • 12825f2121 setInventory Alexander Bentkamp 2023-12-14 15:25:47 +0100
  • f871078869 shutdown request Alexander Bentkamp 2023-12-14 14:53:19 +0100
  • 818c932496 load game data from json in FileWorker Alexander Bentkamp 2023-12-14 14:43:00 +0100
  • 1b02d31f52 remove watchdog (but some TODOs left) Alexander Bentkamp 2023-12-13 14:33:54 +0100
  • 99a07072d0 establish connection in each level Alexander Bentkamp 2023-12-09 15:30:19 +0100
  • bffc9fcefb bump to v4.4.0-rc1 v4.4.0-rc1 Jon Eugster 2023-12-08 21:09:44 +0100
  • 614b762b6c rename LemmaDoc into TheoremDoc and so on Jon Eugster 2023-12-15 16:05:49 +0100
  • c4f4dbdc6b update doc #171 Jon Eugster 2023-12-15 00:04:54 +0100
  • 5a78118bb6 improve display of buttons on mobile Jon Eugster 2023-12-14 23:04:18 +0100
  • a6775d5495 move 'show more help'-button on mobile #143 Jon Eugster 2023-12-14 22:13:44 +0100
  • 03a370464b fix altTitle for backwards compatibility Jon Eugster 2023-12-14 22:06:53 +0100
  • eaa214ec37 improve world tree on mobile #101 Jon Eugster 2023-12-14 21:59:47 +0100
  • d7f1f70d41
         Merge pull request #168 from Wzixiao/mobile-option Jon Eugster 2023-12-14 21:53:08 +0100
  • 2d0f69d337 fix: prevent multiple NewTactic per level #125 Jon Eugster 2023-12-14 21:44:36 +0100
  • 1ab50710f5 fix: update rules slider on erasing progress #157 Jon Eugster 2023-12-14 21:24:08 +0100
  • e76e287763 fix: persistent lemma tab #144 Jon Eugster 2023-12-14 21:14:42 +0100
  • 5fd49abb90 improve hover text for inventory items #144 Jon Eugster 2023-12-14 21:05:37 +0100
  • 4b7d540a80 update fortawesome packages to matching versions Jon Eugster 2023-12-14 20:49:38 +0100
  • aec196deff add button to copy inventory item name to clipboard #144 Jon Eugster 2023-12-14 20:26:31 +0100
  • 1b88c9ba05
         Merge bb214f426b into ae636a03ed #129 Jon Eugster 2023-12-14 18:30:50 +0000
  • ae636a03ed fix: hide hidden inventory items in overview #169 Jon Eugster 2023-12-14 19:01:11 +0100
  • deec431620
         Merge branch 'dev' into mobile-option #168 Jon Eugster 2023-12-13 15:20:24 +0100
  • 391285e5cc Merge branch 'dev' into mobile-option mobile-option Jon Eugster 2023-12-13 14:59:45 +0100
  • 9f692ccf61 Add basic preference framework and mobile options and Add missing files ran 2023-12-13 00:37:50 +0800
  • 47d7f606c6 Add basic preference framework and mobile options ran 2023-12-13 00:34:38 +0800
  • 5aa0764844 add comment Jon Eugster 2023-12-12 14:41:54 +0100
  • 93c55dc9f7
         Merge pull request #167 from Wzixiao/home-button-margin Jon Eugster 2023-12-12 13:43:21 +0100
  • aab7441323
         Merge pull request #166 from Wzixiao/app-bar-align-center Jon Eugster 2023-12-12 13:42:00 +0100
  • 2ba36b91d5 Adjust the margin of the home button #167 ran 2023-12-12 19:51:20 +0800
  • a2726ae287 Adjust the top navigation bar so that it is centered above and below #166 ran 2023-12-12 19:29:21 +0800
  • 7515561883 Add a button to toggle mobile ran 2023-12-12 19:17:55 +0800
  • 8c39fb6664 cleanup; including using doc comment syntax for documentation like TacticDoc cleanup_stuff joneugster 2023-12-11 19:38:58 +0100
  • 5f52e23f29
         Update hints.md Jon Eugster 2023-12-11 16:04:37 +0100
  • bb214f426b Merge branch 'dev' into world_overviews #129 world_overviews Jon Eugster 2023-12-10 00:18:47 +0100
  • b067dea6e7
         Update README.md Jon Eugster 2023-12-09 23:38:18 +0100
  • 4edf67f0d6
         Update README.md Jon Eugster 2023-12-09 23:37:59 +0100
  • 004f81835f write more docs Jon Eugster 2023-12-09 23:34:39 +0100
  • 527f58e3a4 separate lean server from socket server Jon Eugster 2023-12-09 22:42:40 +0100
  • b239a5d3dc Merge branch 'main' into dev Jon Eugster 2023-12-09 22:09:58 +0100
  • 63cf5e8b72 update docs Jon Eugster 2023-12-09 22:09:05 +0100
  • 25f166f57f do not filter hidden hints #142 Jon Eugster 2023-12-09 22:06:12 +0100
  • c89e2e4020 remove consequtive identical hints #142 Jon Eugster 2023-12-09 13:27:03 +0100
  • f6738faf46 golf Jon Eugster 2023-12-09 10:52:41 +0100
  • cb7224934c fix cwd for gameserver Jon Eugster 2023-12-08 21:06:31 +0100
  • 13d54ff0ff fix gameserver path Jon Eugster 2023-12-08 20:38:35 +0100
  • 72e4011c62 update vite Jon Eugster 2023-12-08 18:35:29 +0100
  • 4f5256fa88 fix bubblewrap script Jon Eugster 2023-12-08 18:32:45 +0100
  • c2b9175fe5 use the gameserver of each game individually Jon Eugster 2023-12-08 18:14:35 +0100
  • a1a6862b5a add tmp option to test images Jon Eugster 2023-12-08 10:18:00 +0100
  • 0a057913be update landing page Jon Eugster 2023-12-08 03:16:26 +0100
  • bedb2ad5ec
         Update README.md Jon Eugster 2023-12-08 02:22:10 +0100
  • e02e73c1c0
         Update DOCUMENTATION.md Jon Eugster 2023-12-08 02:17:30 +0100
  • c82a88867f
         Update create_game.md Jon Eugster 2023-12-08 02:12:09 +0100
  • 8b43aed596
         Update publish_game.md Jon Eugster 2023-12-08 01:57:47 +0100
  • 8c84d3fae7 Merge branch 'dev' Jon Eugster 2023-12-08 01:54:02 +0100
  • d5697d052e images folder might not exist v4.3.0 Jon Eugster 2023-12-08 00:58:17 +0100
  • 0e652256f8 Revert "update lean4web dependency" Jon Eugster 2023-12-08 00:51:28 +0100
  • 9492c1011a Revert "use pre-cleanup commit of lean4web" Jon Eugster 2023-12-08 00:51:17 +0100
  • 54bab2a016 add support for images Jon Eugster 2023-12-08 00:39:31 +0100
  • 3f8b180b04 use pre-cleanup commit of lean4web Alexander Bentkamp 2023-12-07 21:38:51 +0100
  • 23b1074aa2 cleanup tmp files after import Jon Eugster 2023-12-07 18:09:12 +0100
  • 0964a06f2f
         Merge pull request #159 from Wzixiao/cache-typewriter-mode Jon Eugster 2023-12-07 16:00:19 +0100
  • b17c8fc4cb remove \n in progress.ts 211 line #159 ran 2023-12-07 21:45:47 +0800
  • 0c4ae92856 Optimize the typewriterMode code logic about the game ran 2023-12-07 21:43:50 +0800
  • 088711b5d1 Use 'progress' to construct the processing flow of typewriterMode ran 2023-12-07 21:38:15 +0800
  • 4c93b3a091
         Update running_locally.md Jon Eugster 2023-12-07 14:10:03 +0100
  • aa00e359c4 Add the function of caching typewriterMode ran 2023-12-07 15:06:58 +0800
  • f6a2632d80 fix error message on importing non-existing game tile joneugster 2023-12-07 02:29:56 +0100
  • f2190d648f fix manual dependencies being added twice to svg joneugster 2023-12-07 02:28:57 +0100
  • d7fd8709cb fix inventory sorting #158 joneugster 2023-12-07 02:27:24 +0100
  • 7a03c4fe0d move landing page tiles to the games joneugster 2023-12-06 18:21:37 +0100
  • 333c9498f1
         Update update_game.md Jon Eugster 2023-12-01 14:50:27 +0100
  • 121b36b542 bump to v4.3.0 joneugster 2023-12-01 12:19:31 +0100
  • 6bced7575b update lean4web dependency Alexander Bentkamp 2023-12-01 11:32:17 +0100
  • d18b48db2f make json files directly accessible Alexander Bentkamp 2023-11-30 20:55:03 +0100