Commit Graph

863 Commits (d7f1f70d41f0faad02be5e094a26851fff401f40)
 

Author SHA1 Message Date
Jon Eugster d7f1f70d41
Merge pull request #168 from Wzixiao/mobile-option
Mobile option (template)
1 year ago
Jon Eugster 2d0f69d337 fix: prevent multiple NewTactic per level #125 1 year ago
Jon Eugster 1ab50710f5 fix: update rules slider on erasing progress #157 1 year ago
Jon Eugster e76e287763 fix: persistent lemma tab #144 1 year ago
Jon Eugster 5fd49abb90 improve hover text for inventory items #144 1 year ago
Jon Eugster 4b7d540a80 update fortawesome packages to matching versions 1 year ago
Jon Eugster aec196deff add button to copy inventory item name to clipboard #144 1 year ago
Jon Eugster ae636a03ed fix: hide hidden inventory items in overview #169 1 year ago
Jon Eugster deec431620
Merge branch 'dev' into mobile-option 1 year ago
ran 9f692ccf61 Add basic preference framework and mobile options and Add missing files 1 year ago
ran 47d7f606c6 Add basic preference framework and mobile options 1 year ago
Jon Eugster 5aa0764844 add comment 1 year ago
Jon Eugster 93c55dc9f7
Merge pull request #167 from Wzixiao/home-button-margin
Adjust the margin of the home button.
1 year ago
Jon Eugster aab7441323
Merge pull request #166 from Wzixiao/app-bar-align-center
Adjust the top navigation bar to center both the Home button and some divs on the right.
1 year ago
ran 2ba36b91d5 Adjust the margin of the home button 1 year ago
ran a2726ae287 Adjust the top navigation bar so that it is centered above and below 1 year ago
ran 7515561883 Add a button to toggle mobile 1 year ago
joneugster 8c39fb6664 cleanup; including using doc comment syntax for documentation like TacticDoc 1 year ago
Jon Eugster 527f58e3a4 separate lean server from socket server 1 year ago
Jon Eugster b239a5d3dc Merge branch 'main' into dev 1 year ago
Jon Eugster 63cf5e8b72 update docs 1 year ago
Jon Eugster 25f166f57f do not filter hidden hints #142 1 year ago
Jon Eugster c89e2e4020 remove consequtive identical hints #142 1 year ago
Jon Eugster f6738faf46 golf 1 year ago
Jon Eugster cb7224934c fix cwd for gameserver 1 year ago
Jon Eugster 13d54ff0ff fix gameserver path 1 year ago
Jon Eugster 72e4011c62 update vite 1 year ago
Jon Eugster 4f5256fa88 fix bubblewrap script 1 year ago
Jon Eugster c2b9175fe5 use the gameserver of each game individually 1 year ago
Jon Eugster a1a6862b5a add tmp option to test images 1 year ago
Jon Eugster 0a057913be update landing page 1 year ago
Jon Eugster bedb2ad5ec
Update README.md 1 year ago
Jon Eugster e02e73c1c0
Update DOCUMENTATION.md 1 year ago
Jon Eugster c82a88867f
Update create_game.md 1 year ago
Jon Eugster 8b43aed596
Update publish_game.md 1 year ago
Jon Eugster 8c84d3fae7 Merge branch 'dev' 1 year ago
Jon Eugster d5697d052e images folder might not exist 1 year ago
Jon Eugster 0e652256f8 Revert "update lean4web dependency"
This reverts commit 6bced7575b.
1 year ago
Jon Eugster 9492c1011a Revert "use pre-cleanup commit of lean4web"
This reverts commit 3f8b180b04.
1 year ago
Jon Eugster 54bab2a016 add support for images 1 year ago
Alexander Bentkamp 3f8b180b04 use pre-cleanup commit of lean4web 1 year ago
Jon Eugster 23b1074aa2 cleanup tmp files after import 1 year ago
Jon Eugster 0964a06f2f
Merge pull request #159 from Wzixiao/cache-typewriter-mode
Add the function of caching typewriterMode
1 year ago
ran b17c8fc4cb remove \n in progress.ts 211 line 1 year ago
ran 0c4ae92856 Optimize the typewriterMode code logic about the game 1 year ago
ran 088711b5d1 Use 'progress' to construct the processing flow of typewriterMode 1 year ago
Jon Eugster 4c93b3a091
Update running_locally.md 1 year ago
ran aa00e359c4 Add the function of caching typewriterMode 1 year ago
joneugster f6a2632d80 fix error message on importing non-existing game tile 1 year ago
joneugster f2190d648f fix manual dependencies being added twice to svg 1 year ago