Commit Graph

Select branches

Hide Pull Requests

add_game_knights

better-timeout

bump_v4.8.0

check_upload_size

cleanup_stuff

dev

joneugster-patch-1

joneugster-patch-1-1

main

mobile-option

nowatchdog

server_capacity

stats

ubuntu-test

v4.5.0-bump

v4.6.0-bump

wasm

wasm2

world_overviews

#116

#118

#120

#129

#129

#132

#139

#139

#153

#159

#166

#167

#168

#181

#182

#184

#185

#186

#203

#204

#205

#206

#220

#224

#234

#236

#244

#248

#250

#251

#251

#253

#259

#260

#261

#262

#262

#266

#266

#267

#268

#269

#274

#274

#279

#279

#280

#281

#283

#285

#285

#287

#288

#288

#43

#53

#54

#68

#79

#83

#99

v4.1.0

v4.2.0

v4.3.0

v4.3.0-rc2

v4.4.0

v4.4.0-rc1

v4.5.0

v4.6.0

v4.6.1

v4.7.0

Mono Color

• 590d68ccfb gitignore .lake Alexander Bentkamp 2023-11-28 11:40:33 +01:00
• f6727e5c9f loading progress Alexander Bentkamp 2023-11-28 11:40:00 +01:00
• 241ef4b67a bump to v4.3.0-rc2 joneugster 2023-11-28 11:29:40 +01:00
• ea4250f38d modify message of import script joneugster 2023-11-28 11:26:07 +01:00
• 1d2420331d make URL case insensitive joneugster 2023-11-28 11:05:50 +01:00
• 2213862998 disable bad try catch joneugster 2023-11-27 22:48:46 +01:00
• 81073b24b8 fix bubblewrap script joneugster 2023-11-27 22:42:31 +01:00
• bb8be70bcb error: Tried to spawn a new thread, but wasm Alexander Bentkamp 2023-11-27 22:12:37 +01:00
• 33068f1183 improve error message joneugster 2023-11-27 22:10:15 +01:00
• 8ab37d4344 disable queue joneugster 2023-11-27 22:06:16 +01:00
• 9d9902cce1 edit pm2 config joneugster 2023-11-27 21:29:22 +01:00
• f53316c591 fix paths joneugster 2023-11-27 20:57:18 +01:00
• 427ce43e95 fix import mechanism joneugster 2023-11-27 17:22:02 +01:00
• 15d79244d4 update workflow joneugster 2023-11-27 16:50:45 +01:00
• f13027f75c update workflow joneugster 2023-11-27 16:47:35 +01:00
• 5fcdee4f71 import seems to be working joneugster 2023-11-27 16:40:38 +01:00
• 85fef9373d fix rootUri Alexander Bentkamp 2023-11-24 10:19:34 +01:00
• be34fe9cda didOpen Alexander Bentkamp 2023-11-23 22:07:44 +01:00
• 6d61bc1942 connect to all game watchdog methods Alexander Bentkamp 2023-11-22 20:02:19 +01:00
• 2613c16bbb bump toolchain Alexander Bentkamp 2023-11-22 18:26:16 +01:00
• 926a013b10 more Alexander Bentkamp 2023-11-22 17:58:40 +01:00
• 7ad23dab24 work on importing joneugster 2023-11-22 15:54:45 +01:00
• 89e19cc019 update lean4web and npm packages joneugster 2023-11-22 13:14:18 +01:00
• 4db5260ed8 shrink nng image joneugster 2023-11-20 12:31:37 +01:00
• d19046aebd fix dist path joneugster 2023-11-20 12:27:23 +01:00
• 6e0fcb1d50 fixes for vite joneugster 2023-11-20 11:19:25 +01:00
• 04c70ba522 fix for STG on landing page joneugster 2023-11-18 12:12:19 +01:00
• 1b3993ad3e fix joneugster 2023-11-17 22:45:02 +01:00
• 45a95bbdc4 update landing page joneugster 2023-11-17 22:27:29 +01:00
• 7c9f3d7a0a remove token joneugster 2023-11-17 16:43:42 +01:00
• 823000d5d4 partial implementation of loading mechanism joneugster 2023-11-17 13:10:07 +01:00
• 4e45111dd8 game info Alexander Bentkamp 2023-11-16 20:54:05 +01:00
• 32a2ff3e18 game module import (not quite) Alexander Bentkamp 2023-11-15 21:27:52 +01:00
• 8d29761579 stdout Alexander Bentkamp 2023-11-15 17:49:41 +01:00
• 3ff46aeb54 merge dirs Alexander Bentkamp 2023-11-15 14:41:55 +01:00
• c706b66af1 update doc to use -K option for local setup joneugster 2023-11-14 21:52:23 +01:00
• 3d79c4ea60 connect wasm to monaco Alexander Bentkamp 2023-11-10 20:25:25 +01:00
• 11dde6aad9 more Alexander Bentkamp 2023-11-10 15:34:31 +01:00
• 8a6486bdd5 reverse-ffi IO Alexander Bentkamp 2023-11-10 11:27:09 +01:00
• 933394bb6f Update running_locally.md Jon Eugster 2023-11-10 11:16:25 +01:00
• e09c016c4c Update update_game.md Jon Eugster 2023-11-10 11:15:53 +01:00
• f6063023b4 reverse-ffi test Alexander Bentkamp 2023-11-10 10:44:37 +01:00
• 06d9656e88 Update running_locally.md Jon Eugster 2023-11-09 17:30:48 +01:00
• b30164dec4 Update README.md Jon Eugster 2023-11-09 17:28:58 +01:00
• ea685f0b19 Update README.md Jon Eugster 2023-11-09 17:27:32 +01:00
• d71b895550 Update create_game.md Jon Eugster 2023-11-09 17:20:47 +01:00
• 21070af13c Update create_game.md Jon Eugster 2023-11-09 17:20:13 +01:00
• 2b9f791655 Create update_game.md Jon Eugster 2023-11-09 17:18:02 +01:00
• 51ca5354dc Update running_locally.md Jon Eugster 2023-11-09 17:04:17 +01:00
• ebcde9d588 Update create_game.md Jon Eugster 2023-11-09 16:54:06 +01:00
• 335e7e6883 Update README.md Jon Eugster 2023-11-09 16:51:45 +01:00
• 6f92d61381 fix redirect from landing page in dev container #145 v4.2.0 joneugster 2023-11-09 15:26:53 +01:00
• 506677ee02 bump to v4.2.0 joneugster 2023-11-08 10:36:13 +01:00
• 3d97cff0f4 change to vite v4.1.0 joneugster 2023-10-31 14:56:11 +01:00
• bda1f98693 remove docker isntructions Alexander Bentkamp 2023-10-31 15:35:20 +01:00
• 7e0b82cb14 better handling of breaking connection Alexander Bentkamp 2023-10-31 15:34:54 +01:00
• bea342b2c7 work on network interruption errors #139 better-timeout joneugster 2023-10-27 21:02:20 +02:00
• 940663f640 improve loading of inventory doc popups #138 joneugster 2023-10-27 18:48:02 +02:00
• 918151ade5 npm audit joneugster 2023-10-27 14:07:24 +02:00
• c2b5754371 Merge branch 'refactor' joneugster 2023-10-27 14:05:25 +02:00
• d1cd0f80fd refactor app_bar joneugster 2023-10-27 14:03:25 +02:00
• d52d63020c fix dropdown on safari joneugster 2023-10-27 14:00:54 +02:00
• efdc9ee536 Merge pull request #132 from pitmonticone/main TentativeConvert 2023-10-27 09:54:24 +02:00
• 9b8e84cc9c Update landing_page.tsx #132 Pietro Monticone 2023-10-26 17:24:49 +02:00
• 3416b32ddc Update FileWorker.lean Pietro Monticone 2023-10-26 17:19:53 +02:00
• 2951747d1a Update EnvExtensions.lean Pietro Monticone 2023-10-26 17:19:49 +02:00
• f0f998298f Update Commands.lean Pietro Monticone 2023-10-26 17:19:47 +02:00
• c4dc48292a Update running_locally.md Pietro Monticone 2023-10-26 17:19:44 +02:00
• d3a450f5b1 Update npm_scripts.md Pietro Monticone 2023-10-26 17:19:40 +02:00
• fe8f8b6df3 Update DOCUMENTATION.md Pietro Monticone 2023-10-26 17:19:37 +02:00
• 207bb88c59 Update create_game.md Pietro Monticone 2023-10-26 17:19:33 +02:00
• 5c41d5c83c Merge branch 'main' into refactor joneugster 2023-10-24 11:39:50 +02:00
• 8e4c993bd7 fix Exercise statement joneugster 2023-10-24 09:39:32 +02:00
• 787d010b6c cleanup app_bar.tsx joneugster 2023-10-23 21:07:33 +02:00
• e740027144 move css files joneugster 2023-10-23 18:07:55 +02:00
• 53e015a2fe cleanup app.tsx joneugster 2023-10-23 18:00:42 +02:00
• 4266c090db WIP progress on world overviews joneugster 2023-10-23 15:41:29 +02:00
• b70ac78cf7 split Typewriterinterface and catch promise file close error #127 joneugster 2023-10-22 01:00:17 +02:00
• 853f797157 add comment for rpc bug joneugster 2023-10-21 04:20:19 +02:00
• 84ad619537 Improve input and deletion of typewriter #122 joneugster 2023-10-21 03:16:57 +02:00
• b6bc77828d remove 'Exercise' word #123 joneugster 2023-10-21 02:21:05 +02:00
• ceee1b38e1 move circular loading joneugster 2023-10-21 02:13:44 +02:00
• b5927a1024 Fix assumption display in inventory and editor mode #84 joneugster 2023-10-20 21:59:47 +02:00
• 2b159f508f move test joneugster 2023-10-20 17:59:46 +02:00
• 30f9d46489 check for structural recursion #117 joneugster 2023-10-19 13:46:44 +02:00
• 5de8ce8be7 fixes of lean bump joneugster 2023-10-19 12:10:58 +02:00
• 2de82a1106 fix from lean bump joneugster 2023-10-18 14:57:14 +02:00
• ca58cb0e78 typo joneugster 2023-10-18 14:56:53 +02:00
• ec96f2c80e bump lean-toolchain joneugster 2023-10-18 14:53:42 +02:00
• cafe74a22b add file joneugster 2023-10-18 14:49:30 +02:00
• cc4321ff3f Turn some logInfo into trace[debug] to toggle the off for building joneugster 2023-10-17 16:01:39 +02:00
• 19592668ae documentation joneugster 2023-10-17 02:06:32 +02:00
• 556c072cef NewLemma checks if specified theorem exists and searches for docstrings joneugster 2023-10-17 02:05:17 +02:00
• bb0ba83f18 load arbitrary games with tags g/local/FolderName joneugster 2023-10-16 21:24:50 +02:00
• 0c65a2e4f1 reorganise popups joneugster 2023-10-16 15:20:00 +02:00
• 06aa5d5339 help button explaining Game Rules joneugster 2023-10-16 14:59:55 +02:00
• 63a0d8d5f0 typo joneugster 2023-10-16 04:30:44 +02:00
• d66546a7f1 fix empty typewriter containing two lines joneugster 2023-10-15 03:16:27 +02:00
• caee7195db lean4game.verbose option joneugster 2023-10-15 03:15:02 +02:00
• 2b5c42a3c5 insert template when editor empty joneugster 2023-10-14 14:53:19 +02:00