Commit Graph

1085 Commits (main)
 

Author SHA1 Message Date
Jon Eugster c2b9175fe5 use the gameserver of each game individually 3 years ago
Jon Eugster a1a6862b5a add tmp option to test images 3 years ago
Jon Eugster 0a057913be update landing page 3 years ago
Jon Eugster bedb2ad5ec
Update README.md 3 years ago
Jon Eugster e02e73c1c0
Update DOCUMENTATION.md 3 years ago
Jon Eugster c82a88867f
Update create_game.md 3 years ago
Jon Eugster 8b43aed596
Update publish_game.md 3 years ago
Jon Eugster 8c84d3fae7 Merge branch 'dev' 3 years ago
Jon Eugster d5697d052e images folder might not exist 3 years ago
Jon Eugster 0e652256f8 Revert "update lean4web dependency"
This reverts commit 6bced7575b.
3 years ago
Jon Eugster 9492c1011a Revert "use pre-cleanup commit of lean4web"
This reverts commit 3f8b180b04.
3 years ago
Jon Eugster 54bab2a016 add support for images 3 years ago
Alexander Bentkamp 3f8b180b04 use pre-cleanup commit of lean4web 3 years ago
Jon Eugster 23b1074aa2 cleanup tmp files after import 3 years ago
Jon Eugster 0964a06f2f
Merge pull request #159 from Wzixiao/cache-typewriter-mode
Add the function of caching typewriterMode
3 years ago
ran b17c8fc4cb remove \n in progress.ts 211 line 3 years ago
ran 0c4ae92856 Optimize the typewriterMode code logic about the game 3 years ago
ran 088711b5d1 Use 'progress' to construct the processing flow of typewriterMode 3 years ago
Jon Eugster 4c93b3a091
Update running_locally.md 3 years ago
ran aa00e359c4 Add the function of caching typewriterMode 3 years ago
joneugster f6a2632d80 fix error message on importing non-existing game tile 3 years ago
joneugster f2190d648f fix manual dependencies being added twice to svg 3 years ago
joneugster d7fd8709cb fix inventory sorting #158 3 years ago
joneugster 7a03c4fe0d move landing page tiles to the games 3 years ago
Jon Eugster 333c9498f1
Update update_game.md 3 years ago
joneugster 121b36b542 bump to v4.3.0 3 years ago
Alexander Bentkamp 6bced7575b update lean4web dependency 3 years ago
Alexander Bentkamp d18b48db2f make json files directly accessible 3 years ago
Alexander Bentkamp 97dc648452 use goal lctx for hints
Closes  #135
3 years ago
joneugster 472e2c66df remove old-nng tile 3 years ago
Jon Eugster 622e9d3897
Update update_game.md 3 years ago
joneugster 7f91ae7da8 Merge branch 'dev' 3 years ago
joneugster 28a7c65db2 update doc, including #148 3 years ago
joneugster 56525c6234 update doc 3 years ago
joneugster 44f7b6703e Revert "fix variables in hints"
This reverts commit 8851cd8b1f.
3 years ago
joneugster 8851cd8b1f fix variables in hints 3 years ago
Alexander Bentkamp bae360874c json api 3 years ago
joneugster 07b6525c58 fix local setup 3 years ago
joneugster 8e8026aa38 more fixing 3 years ago
joneugster a3a421f504 fix bubblewrap script 3 years ago
joneugster 084e25c0dc wip on imports 3 years ago
Alexander Bentkamp 6580afb622 fix names in hints
Fixes #135
3 years ago
joneugster 0c0a7ab400 bubblewrap test 3 years ago
joneugster dfb2f10219 correct std version 3 years ago
Alexander Bentkamp a57a5af111 also display loading of constants 3 years ago
joneugster 946a7fa673 update gitignore 3 years ago
Alexander Bentkamp 244c373192 model.dispose() 3 years ago
Alexander Bentkamp 374afa318a fix gameserver path 3 years ago
joneugster d0636b1d85 update workflow 3 years ago
joneugster 2e121363b3 update workflow 3 years ago