phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
834 Commits 19 Branches 10 Tags
004f81835fce784761283ce449747ea46c6fa3c1
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Jon Eugster 004f81835f write more docs 2023-12-09 23:34:39 +01:00
Jon Eugster 63cf5e8b72 update docs 2023-12-09 22:09:05 +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 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
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
Jon Eugster 4c93b3a091 Update running_locally.md 2023-12-07 14:10:03 +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
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
joneugster 472e2c66df remove old-nng tile 2023-11-30 20:29:47 +01:00
Jon Eugster 622e9d3897 Update update_game.md 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
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
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
joneugster 946a7fa673 update gitignore 2023-11-28 14:26:41 +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
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
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 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 2023-11-08 09:30:59 +01:00
joneugster 918151ade5 npm audit 2023-10-27 14:07:24 +02:00
joneugster c2b5754371 Merge branch 'refactor' 2023-10-27 14:05:25 +02:00
joneugster d1cd0f80fd refactor app_bar 2023-10-27 14:03:25 +02:00
joneugster d52d63020c fix dropdown on safari 2023-10-27 14:00:54 +02:00
joneugster 5c41d5c83c Merge branch 'main' into refactor 2023-10-24 11:39:50 +02:00
joneugster 8e4c993bd7 fix Exercise statement 2023-10-24 09:39:32 +02:00
joneugster 787d010b6c cleanup app_bar.tsx 2023-10-23 21:07:33 +02:00
joneugster e740027144 move css files 2023-10-23 18:07:55 +02:00
joneugster 53e015a2fe cleanup app.tsx 2023-10-23 18:00:42 +02:00
joneugster b70ac78cf7 split Typewriterinterface and catch promise file close error #127 2023-10-22 01:00:47 +02:00
joneugster 853f797157 add comment for rpc bug 2023-10-21 04:20:19 +02:00
joneugster 84ad619537 Improve input and deletion of typewriter #122 2023-10-21 03:16:57 +02:00
joneugster b6bc77828d remove 'Exercise' word #123 2023-10-21 02:21:05 +02:00
joneugster ceee1b38e1 move circular loading 2023-10-21 02:13:44 +02:00
joneugster b5927a1024 Fix assumption display in inventory and editor mode #84 2023-10-20 21:59:47 +02:00
joneugster 2b159f508f move test 2023-10-20 17:59:46 +02:00
joneugster 30f9d46489 check for structural recursion #117 2023-10-19 13:46:44 +02:00
joneugster 5de8ce8be7 fixes of lean bump 2023-10-19 12:10:58 +02:00
joneugster 2de82a1106 fix from lean bump 2023-10-18 14:57:14 +02:00
joneugster ca58cb0e78 typo 2023-10-18 14:56:53 +02:00
joneugster ec96f2c80e bump lean-toolchain 2023-10-18 14:53:42 +02:00
joneugster cafe74a22b add file 2023-10-18 14:49:30 +02:00
joneugster cc4321ff3f Turn some logInfo into trace[debug] to toggle the off for building 2023-10-17 16:01:39 +02:00
joneugster 19592668ae documentation 2023-10-17 02:06:32 +02:00
joneugster 556c072cef NewLemma checks if specified theorem exists and searches for docstrings 2023-10-17 02:05:17 +02:00
joneugster bb0ba83f18 load arbitrary games with tags g/local/FolderName 2023-10-16 21:24:50 +02:00