phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
897 Commits 19 Branches 10 Tags
ebb8c98145bd6a8652bce0ef9a57ff42c6db0f91
Commit Graph
897 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Jon Eugster 4edf67f0d6 Update README.md 2023-12-09 23:37:59 +01:00
Jon Eugster 004f81835f write more docs 2023-12-09 23:34:39 +01:00
Jon Eugster 527f58e3a4 separate lean server from socket server 2023-12-09 22:42:40 +01:00
Jon Eugster b239a5d3dc Merge branch 'main' into dev 2023-12-09 22:09:58 +01:00
Jon Eugster 63cf5e8b72 update docs 2023-12-09 22:09:05 +01:00
Jon Eugster 25f166f57f do not filter hidden hints #142 2023-12-09 22:06:12 +01:00
Jon Eugster c89e2e4020 remove consequtive identical hints #142 2023-12-09 13:27:03 +01:00
Jon Eugster f6738faf46 golf 2023-12-09 11:14:55 +01:00
Jon Eugster cb7224934c fix cwd for gameserver 2023-12-08 21:06:31 +01:00
Jon Eugster 13d54ff0ff fix gameserver path 2023-12-08 20:38:35 +01:00
Jon Eugster 72e4011c62 update vite 2023-12-08 18:35:29 +01:00
Jon Eugster 4f5256fa88 fix bubblewrap script 2023-12-08 18:32:45 +01:00
Jon Eugster c2b9175fe5 use the gameserver of each game individually 2023-12-08 18:14:35 +01:00
Jon Eugster a1a6862b5a add tmp option to test images 2023-12-08 10:18:00 +01:00
Jon Eugster 0a057913be update landing page 2023-12-08 03:16:26 +01:00
Jon Eugster bedb2ad5ec Update README.md 2023-12-08 02:22:10 +01:00
Jon Eugster e02e73c1c0 Update DOCUMENTATION.md 2023-12-08 02:17:30 +01:00
Jon Eugster c82a88867f Update create_game.md 2023-12-08 02:12:09 +01:00
Jon Eugster 8b43aed596 Update publish_game.md 2023-12-08 01:57:47 +01:00
Jon Eugster 8c84d3fae7 Merge branch 'dev' 2023-12-08 01:54:02 +01:00
Jon Eugster d5697d052e images folder might not exist v4.3.0 2023-12-08 00:58:17 +01:00
Jon Eugster 0e652256f8 Revert "update lean4web dependency" 
This reverts commit 6bced7575b.
 2023-12-08 00:51:28 +01:00
Jon Eugster 9492c1011a Revert "use pre-cleanup commit of lean4web" 
This reverts commit 3f8b180b04.
 2023-12-08 00:51:17 +01:00
Jon Eugster 54bab2a016 add support for images 2023-12-08 00:39:45 +01:00
Alexander Bentkamp 3f8b180b04 use pre-cleanup commit of lean4web 2023-12-07 21:38:51 +01:00
Jon Eugster 23b1074aa2 cleanup tmp files after import 2023-12-07 18:09:12 +01:00
Jon Eugster 0964a06f2f Merge pull request #159 from Wzixiao/cache-typewriter-mode 
Add the function of caching typewriterMode
 2023-12-07 16:00:19 +01:00
ran b17c8fc4cb remove \n in progress.ts 211 line 2023-12-07 21:45:47 +08:00
ran 0c4ae92856 Optimize the typewriterMode code logic about the game 2023-12-07 21:43:50 +08:00
ran 088711b5d1 Use 'progress' to construct the processing flow of typewriterMode 2023-12-07 21:38:15 +08:00
Jon Eugster 4c93b3a091 Update running_locally.md 2023-12-07 14:10:03 +01:00
ran aa00e359c4 Add the function of caching typewriterMode 2023-12-07 15:06:58 +08:00
joneugster f6a2632d80 fix error message on importing non-existing game tile 2023-12-07 02:29:56 +01:00
joneugster f2190d648f fix manual dependencies being added twice to svg 2023-12-07 02:28:57 +01:00
joneugster d7fd8709cb fix inventory sorting #158 2023-12-07 02:27:24 +01:00
joneugster 7a03c4fe0d move landing page tiles to the games 2023-12-06 18:21:37 +01:00
Jon Eugster 333c9498f1 Update update_game.md 2023-12-01 14:50:27 +01:00
joneugster 121b36b542 bump to v4.3.0 2023-12-01 12:19:58 +01:00
Alexander Bentkamp 6bced7575b update lean4web dependency 2023-12-01 11:32:17 +01:00
Alexander Bentkamp d18b48db2f make json files directly accessible 2023-11-30 20:55:03 +01:00
Alexander Bentkamp 97dc648452 use goal lctx for hints 
Closes  #135
 2023-11-30 20:38:25 +01:00
joneugster 472e2c66df remove old-nng tile 2023-11-30 20:29:47 +01:00
Jon Eugster 622e9d3897 Update update_game.md v4.3.0-rc2 2023-11-30 19:32:38 +01:00
joneugster 7f91ae7da8 Merge branch 'dev' 2023-11-30 19:29:18 +01:00
joneugster 28a7c65db2 update doc, including #148 2023-11-30 19:26:42 +01:00
joneugster 56525c6234 update doc 2023-11-30 17:39:29 +01:00
joneugster 44f7b6703e Revert "fix variables in hints" 
This reverts commit 8851cd8b1f.
 2023-11-30 12:16:06 +01:00
joneugster 8851cd8b1f fix variables in hints 2023-11-30 11:18:56 +01:00
Alexander Bentkamp bae360874c json api 2023-11-30 10:51:03 +01:00
joneugster 07b6525c58 fix local setup 2023-11-30 09:20:16 +01:00