phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
816 Commits 19 Branches 10 Tags
3f8b180b04f9399558cd54ab3b435bcbda11c5eb
Commit Graph
816 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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
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
joneugster 8e8026aa38 more fixing 2023-11-29 15:17:16 +01:00
joneugster a3a421f504 fix bubblewrap script 2023-11-29 15:14:00 +01:00
joneugster 084e25c0dc wip on imports 2023-11-29 14:43:33 +01:00
Alexander Bentkamp 6580afb622 fix names in hints 
Fixes #135
 2023-11-28 20:51:44 +01:00
joneugster 0c0a7ab400 bubblewrap test 2023-11-28 16:32:19 +01:00
joneugster dfb2f10219 correct std version 2023-11-28 16:27:20 +01:00
Alexander Bentkamp a57a5af111 also display loading of constants 2023-11-28 14:53:05 +01:00
joneugster 946a7fa673 update gitignore 2023-11-28 14:26:41 +01:00
Alexander Bentkamp 244c373192 model.dispose() 2023-11-28 14:05:15 +01:00
Alexander Bentkamp 374afa318a fix gameserver path 2023-11-28 13:55:24 +01:00
joneugster d0636b1d85 update workflow 2023-11-28 13:45:13 +01:00
joneugster 2e121363b3 update workflow 2023-11-28 13:45:13 +01:00
Alexander Bentkamp 590d68ccfb gitignore .lake 2023-11-28 11:43:55 +01:00
Alexander Bentkamp f6727e5c9f loading progress 2023-11-28 11:43:32 +01:00
joneugster 241ef4b67a bump to v4.3.0-rc2 2023-11-28 11:29:40 +01:00
joneugster ea4250f38d modify message of import script 2023-11-28 11:26:07 +01:00
joneugster 1d2420331d make URL case insensitive 2023-11-28 11:05:50 +01:00
joneugster 2213862998 disable bad try catch 2023-11-27 22:48:46 +01:00
joneugster 81073b24b8 fix bubblewrap script 2023-11-27 22:42:31 +01:00
joneugster 33068f1183 improve error message 2023-11-27 22:10:15 +01:00
joneugster 8ab37d4344 disable queue 2023-11-27 22:06:16 +01:00
joneugster 9d9902cce1 edit pm2 config 2023-11-27 21:29:22 +01:00
joneugster f53316c591 fix paths 2023-11-27 20:57:18 +01:00
joneugster 427ce43e95 fix import mechanism 2023-11-27 17:22:02 +01:00
joneugster 15d79244d4 update workflow 2023-11-27 16:50:45 +01:00
joneugster f13027f75c update workflow 2023-11-27 16:47:35 +01:00
joneugster 5fcdee4f71 import seems to be working 2023-11-27 16:40:38 +01:00
joneugster 7ad23dab24 work on importing 2023-11-22 15:54:45 +01:00
joneugster 89e19cc019 update lean4web and npm packages 2023-11-22 13:14:18 +01:00
joneugster 4db5260ed8 shrink nng image 2023-11-20 12:31:37 +01:00
joneugster d19046aebd fix dist path 2023-11-20 12:27:23 +01:00