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

• 61ed224788 added fork info to readme main aziis98 2025-02-08 19:39:28 +00:00
• 39137f6d0b some docs aziis98 2025-02-08 19:34:06 +01:00
• cd5870347b feat: added dockerfile and dockercompose aziis98 2025-02-08 19:33:17 +01:00
• 7503739c22 Add line of contact for upload issues and set reserve disc space as environment variable. #288 check_upload_size matlorr 2025-02-07 09:43:35 +01:00
• 836bd56e9a Implement function to check if uploaded game will exceed allocated server memory. matlorr 2025-01-31 16:17:24 +01:00
• 1050c8b24f Merge branch 'main' into check_upload_size matlorr 2025-01-31 09:22:32 +01:00
• 39be2aa8e3 Update git ignore matlorr 2025-01-31 09:21:56 +01:00
• 50bf73a0c5 Update publish_game.md Jon Eugster 2025-01-30 11:02:20 +01:00
• 39d7af9d3e Merge pull request #287 from leanprover-community/add_game_knights Jon Eugster 2025-01-27 11:13:36 +01:00
• 49062cc3d5 add new game #287 add_game_knights Jon Eugster 2025-01-26 14:29:54 +01:00
• f75389e93f Merge pull request #283 from leanprover-community/server_capacity Matvey Lorkish 2025-01-24 14:33:01 +01:00
• 92665b7521 Merge branch 'main' into server_capacity #283 server_capacity matlorr 2025-01-24 13:52:18 +01:00
• 1845644e86 Extract fetching of stats and perform it every 2 seconds matlorr 2025-01-24 13:51:28 +01:00
• 341a9ae14b Merge pull request #281 from leanprover-community/server_capacity Matvey Lorkish 2025-01-10 12:18:14 +01:00
• 0895821baa Merge branch 'main' into server_capacity #281 matlorr 2025-01-10 12:15:28 +01:00
• 5b0715629a Adjust memory to be approx. the same as by htop matlorr 2025-01-10 12:11:06 +01:00
• 39e08194f6 Merge pull request #280 from leanprover-community/server_capacity Matvey Lorkish 2025-01-10 10:16:09 +01:00
• 451dc262b2 Fixed display error of server capacity by performing rounding as last step. #280 matlorr 2025-01-10 10:13:36 +01:00
• 6a74766690 Added logic to check if artifact to-be-downloaded does not exceed defined disc space threshold matlorr 2024-12-28 14:56:29 +01:00
• 52898d93e7 Fix turning stats to zero by casting them to int before multiplying. matlorr 2024-12-28 11:13:11 +01:00
• 5f30572741 Merge branch 'main' of github.com:leanprover-community/lean4game matlorr 2024-12-28 10:10:14 +01:00
• 76f2414bd5 Refactor stats.sh to be more efficient. matlorr 2024-12-28 10:08:53 +01:00
• f1f9325c54 update gitignore Jon Eugster 2024-12-22 11:18:00 +01:00
• bd3375ada7 Create CPU-usage script matlorr 2024-12-20 17:09:12 +01:00
• 64f34acd7a TMP: set github token ADAM 2023-12-01 13:19:46 +00:00
• ae38ad977a update redirects TentativeConvert 2024-12-10 14:35:27 +01:00
• a191c47b8e update queue of pre-loaded games TentativeConvert 2024-12-10 14:28:30 +01:00
• 0e58e81875 parse CPU/MEM usage as integer. Jon Eugster 2024-11-25 12:38:16 +01:00
• f0aa6b58ed Edits on landing page, with updates to German & Spanish translations. Marcus Zibrowius 2024-11-08 16:51:38 +01:00
• 045b1ea3fb Merge pull request #261 from leanprover-community/stats Matvey Lorkish 2024-10-25 08:08:18 +02:00
• dc6f7b2822 Specify that logs should be created relative to the current working directory. #261 stats matlorr 2024-10-21 08:02:08 +00:00
• db5ac7ed15 Merge pull request #269 from chabulhwi/fix-korean Jon Eugster 2024-10-20 15:02:13 +02:00
• 6a0e739301 Merge pull request #267 from chabulhwi/update-npm-deps Jon Eugster 2024-10-20 14:55:14 +02:00
• ed96cf9534 Merge pull request #268 from chabulhwi/add-translation-keys Jon Eugster 2024-10-20 14:54:13 +02:00
• 64670d1579 fix config.json and add Korean translation #269 Bulhwi Cha 2024-10-17 19:44:16 +09:00
• 25141b9613 add some translation keys Bulhwi Cha 2024-10-17 19:38:22 +09:00
• ab9d0d0679 add some translation keys #268 Bulhwi Cha 2024-10-17 19:38:22 +09:00
• 6dca770dbf update npm deps #267 Bulhwi Cha 2024-10-17 19:32:36 +09:00
• 2022fa9a44 Added logging game-access data matlorr 2024-10-11 09:10:39 +00:00
• 92acdb7f85 wip dev Jon Eugster 2024-10-10 09:33:43 +02:00
• b77afebe0a add sample Jon Eugster 2024-10-01 14:54:13 +02:00
• 4ac38ef7dd Refactored stats.sh to display approx. cpu usage and mem usage in .csv format matlorr 2024-10-01 08:28:07 +00:00
• 6a8abf41bd implement stats script Jon Eugster 2024-09-29 14:02:56 +02:00
• 1466a41169 fix fetch url for stats Jon Eugster 2024-09-29 12:43:51 +02:00
• 3cdb9a026b fix stats Jon Eugster 2024-09-29 12:39:09 +02:00
• ebd7268421 feat: add option to display server capacity Jon Eugster 2024-09-26 18:07:17 +02:00
• 64ad36dd4f wip Jon Eugster 2024-09-12 12:02:20 +02:00
• af15982804 Merge pull request #260 from 0417taehyun/feat/generate-structure-of-korean-document Jon Eugster 2024-09-07 20:15:16 +02:00
• 5a404a9a58 Generate translation.json of Korean #260 Taehyun Lee 2024-09-07 21:16:18 +09:00
• cebea6a6aa Add Korean on config.json Taehyun Lee 2024-09-07 21:14:59 +09:00
• 3a885245ae WIP implementing new editor Jon Eugster 2024-08-28 13:11:52 +02:00
• 36499c0257 add note for servers with different base url Jon Eugster 2024-08-27 14:52:20 +02:00
• 545ac8b0f7 grey-out locked items Jon Eugster 2024-08-26 22:50:29 +02:00
• 5a09776b5b npm audit fix Jon Eugster 2024-08-20 16:48:35 +02:00
• 8c5e47dd7b improve doc, adaptation of #250 Jon EugsterandJadAbouHawili 2024-07-31 17:13:24 +02:00
• 38cac494ab fix maximal recursion in useEffect Jon Eugster 2024-07-31 16:29:03 +02:00
• 5b6f5f0db7 adding keys Jon Eugster 2024-07-31 16:28:51 +02:00
• a46840d327 Merge pull request #253 from pitmonticone/fix-typos Jon Eugster 2024-07-25 06:50:11 +02:00
• f518efc81c Update LetIntros.lean #253 Pietro Monticone 2024-07-24 11:06:26 +02:00
• 9b93e3817d Update RpcHandlers.lean Pietro Monticone 2024-07-24 11:06:24 +02:00
• 54c1e0dcaf Update FileWorker.lean Pietro Monticone 2024-07-24 11:06:22 +02:00
• 2c1e69611b Update Commands.lean Pietro Monticone 2024-07-24 11:06:21 +02:00
• 2c22c445b1 Update AbstractCtx.lean Pietro Monticone 2024-07-24 11:06:19 +02:00
• b6b31a06ac Update README.md Pietro Monticone 2024-07-24 11:06:16 +02:00
• 255839fea7 Merge pull request #248 from Lean-zh/main Jon Eugster 2024-07-12 10:00:26 +02:00
• b961030db2 Update hints.md Jon Eugster 2024-07-12 09:54:02 +02:00
• c20d807d5c add default language configuration #248 rexwzh 2024-07-11 01:26:06 +08:00
• 23c8099401 Merge pull request #244 from RexWzh/main Jon Eugster 2024-06-25 17:01:18 +02:00
• 6bd9e95db9 update zh-translation #244 rexwzh 2024-06-23 13:53:19 +08:00
• fbe48d26c5 add support for diags in chat Jon Eugster 2024-06-20 13:14:47 +02:00
• d05767d74c add dev version of new typewriter input Jon Eugster 2024-06-18 17:37:28 +02:00
• aab6dbb329 cleanup Jon Eugster 2024-06-18 16:10:54 +02:00
• 5310e69d98 cleanup Jon Eugster 2024-06-18 16:00:42 +02:00
• 67090f53fa add basic infos to inventory Jon Eugster 2024-06-18 15:40:35 +02:00
• 1febc51791 Update create_game.md Jon Eugster 2024-06-13 11:46:01 +02:00
• d53b57a764 Update create_game.md Jon Eugster 2024-06-13 11:45:33 +02:00
• 020b4f7803 Update create_game.md Jon Eugster 2024-06-13 11:43:07 +02:00
• 0ae099414c Update create_game.md Jon Eugster 2024-06-13 10:39:31 +02:00
• 2896237772 css Jon Eugster 2024-06-13 10:05:12 +02:00
• 30d9b881b9 use GoalsTab in editor mode Jon Eugster 2024-06-12 19:40:08 +02:00
• 937c4714dd update game info Jon Eugster 2024-06-12 18:57:50 +02:00
• 75b367e3d1 remove LemmaDoc etc. Jon Eugster 2024-06-12 12:20:10 +02:00
• b815b86c0d sort theorems alphabetically #110 Jon Eugster 2024-06-12 11:55:37 +02:00
• 8b4215e407 update documentation about opening local notations #216 Jon Eugster 2024-06-12 11:50:08 +02:00
• a0ecaeeece fix button display #199 Jon Eugster 2024-06-12 01:15:57 +02:00
• dea5fd0558 add buttons to delete level/world only #199 Jon Eugster 2024-06-12 01:08:40 +02:00
• c03e2f123e add next/home back button to chat Jon Eugster 2024-06-12 00:32:20 +02:00
• b1cdcfc113 press enter to go to next level #170 Jon Eugster 2024-06-12 00:31:56 +02:00
• 503ea51f95 add framework to allow unbundle hypotheses #105 Jon Eugster 2024-06-11 23:42:58 +02:00
• aed2899fb6 do not display any errors before the first step #209 Jon Eugster 2024-06-11 23:08:05 +02:00
• 1f14ad185f internally rename lemma to theorem #108 Jon Eugster 2024-06-11 23:00:27 +02:00
• 17d2ba5a2c use JuliaMono and Roboto as fonts consistently #192 Jon Eugster 2024-06-11 21:05:55 +02:00
• 2a070332f2 side-by-side goals #90 Jon Eugster 2024-06-11 20:39:42 +02:00
• aedf073a33 unlock inventory items in relaxed mode #194 Jon Eugster 2024-06-11 02:12:26 +02:00
• d684f260bb cleanup imports of world_tree Jon Eugster 2024-06-11 01:40:06 +02:00
• 925d729725 doc Jon Eugster 2024-06-11 01:38:46 +02:00
• 9f4fe656c8 style Jon Eugster 2024-06-11 01:37:48 +02:00
• 72ccdd1478 move Button and Markdown Jon Eugster 2024-06-11 01:37:06 +02:00
• b66954248f cleanup context Jon Eugster 2024-06-11 01:31:00 +02:00
• 096bd55f9b image for world intro Jon Eugster 2024-06-11 01:10:40 +02:00