phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
795 Commits 19 Branches 10 Tags
8e8026aa382b6e9c6d5e947e82b155aa18755567
Commit Graph
795 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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 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
joneugster 6e0fcb1d50 fixes for vite 2023-11-20 11:19:25 +01:00
joneugster 04c70ba522 fix for STG on landing page 2023-11-18 12:12:19 +01:00
joneugster 1b3993ad3e fix 2023-11-17 22:45:02 +01:00
joneugster 45a95bbdc4 update landing page 2023-11-17 22:27:29 +01:00
joneugster 7c9f3d7a0a remove token 2023-11-17 16:43:42 +01:00
joneugster 823000d5d4 partial implementation of loading mechanism 2023-11-17 13:10:07 +01:00
joneugster c706b66af1 update doc to use -K option for local setup 2023-11-14 21:52:23 +01:00
Jon Eugster 933394bb6f Update running_locally.md 2023-11-10 11:16:25 +01:00
Jon Eugster e09c016c4c Update update_game.md 2023-11-10 11:15:53 +01:00
Jon Eugster 06d9656e88 Update running_locally.md 2023-11-09 17:30:48 +01:00
Jon Eugster b30164dec4 Update README.md 2023-11-09 17:28:58 +01:00
Jon Eugster ea685f0b19 Update README.md 2023-11-09 17:27:32 +01:00
Jon Eugster d71b895550 Update create_game.md 2023-11-09 17:20:47 +01:00
Jon Eugster 21070af13c Update create_game.md 2023-11-09 17:20:13 +01:00
Jon Eugster 2b9f791655 Create update_game.md 2023-11-09 17:18:02 +01:00
Jon Eugster 51ca5354dc Update running_locally.md 2023-11-09 17:04:17 +01:00
Jon Eugster ebcde9d588 Update create_game.md 2023-11-09 16:54:06 +01:00
Jon Eugster 335e7e6883 Update README.md 2023-11-09 16:51:45 +01:00
joneugster 6f92d61381 fix redirect from landing page in dev container #145 v4.2.0 2023-11-09 15:26:53 +01:00
joneugster 506677ee02 bump to v4.2.0 2023-11-08 10:36:13 +01:00
joneugster 3d97cff0f4 change to vite v4.1.0 2023-11-08 09:30:59 +01:00