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

• c24efb1377 Merge pull request #203 from JiechengZhao/main Jon Eugster 2024-03-23 13:25:18 +01:00
• 830bffaf11 Remove gitignore introduced by accidently lake init #203 Hydrogenbear 2024-03-23 09:07:30 +08:00
• a9447a70d4 add interface buttons for i18n #179 Jon Eugster 2024-03-23 01:11:42 +01:00
• eaa4eecad2 add doc Jon Eugster 2024-03-22 23:27:08 +01:00
• 1828e73b30 add preample tactic sequence to Statement Jon Eugster 2024-03-22 18:59:01 +01:00
• ce9f5c7840 fix locked editor mode Jon Eugster 2024-03-22 18:11:14 +01:00
• 64d7879c32 delete accidently lake init Hydrogenbear 2024-03-21 18:13:31 +08:00
• cb711205a2 Add react_i18n Hydrogenbear 2024-03-21 18:11:17 +08:00
• f42829422d delete hidden hints in chat on Retry Jon Eugster 2024-03-15 18:38:32 +01:00
• ee6741232f add doc Jon Eugster 2024-03-15 18:06:33 +01:00
• fa4ae5672d bump to v4.6.1 v4.6.1 Jon Eugster 2024-03-15 17:06:59 +01:00
• 9bc0a3de46 add let_intros for better experience with levels about functions Jon Eugster 2024-03-15 17:06:43 +01:00
• 6cdbfbd9cb Revert "DisableTheorem and co. should not warn if doc does not exist" Jon Eugster 2024-03-14 21:18:02 +01:00
• f55581a5f2 doc Jon Eugster 2024-03-14 19:43:54 +01:00
• 381930e547 DisableTheorem and co. should not warn if doc does not exist Jon Eugster 2024-03-14 19:43:47 +01:00
• e07570181c typo Jon Eugster 2024-03-11 19:36:54 +01:00
• 87689e1c3a dont show 'intermediate goal solved' on error Jon Eugster 2024-03-11 19:29:53 +01:00
• 47297e4194 temporary fix to improve message on server crash Jon Eugster 2024-03-11 17:33:06 +01:00
• f3f077741d fix client breaking if server timed out. Jon Eugster 2024-03-11 12:33:47 +01:00
• edf1085310 fix ts warnings Jon Eugster 2024-03-11 12:18:30 +01:00
• 68f84a3426 fix replacement for 2+ variables v4.6.0 Jon Eugster 2024-02-29 16:53:35 +01:00
• 217f86ce5e fix allowed keywords that are not tactics Jon Eugster 2024-02-29 15:12:33 +01:00
• dd60093dfc bump i18n again Jon Eugster 2024-02-29 12:03:48 +01:00
• 85347a54d9 bump i18n Jon Eugster 2024-02-29 11:40:30 +01:00
• 3b4afd6e0e update i18n dependency Jon Eugster 2024-02-29 11:24:40 +01:00
• 2c12872a6e npm audit Jon Eugster 2024-02-29 11:02:45 +01:00
• ad819bf7ff npm package Jon Eugster 2024-02-29 11:01:59 +01:00
• c0f366abba Merge branch 'dev' Jon Eugster 2024-02-29 11:00:07 +01:00
• f72ebdf050 bump to v4.6.0 Jon Eugster 2024-02-29 10:54:37 +01:00
• af8463ca5d fixes for v4.6.0-rc1 Jon Eugster 2024-02-14 16:22:10 +01:00
• d0a444205a bump to v4.6.0-rc1 Jon Eugster 2024-02-14 15:04:32 +01:00
• 1796c76a84 remove debugging css Jon Eugster 2024-02-29 01:27:26 +01:00
• a75a4a81ac add i18n dependency (#179) Jon Eugster 2024-02-29 01:08:51 +01:00
• 45d84103c1 bump npm packages Jon Eugster 2024-02-29 01:03:25 +01:00
• 92e9ed38b2 add manual trigger to github action Jon Eugster 2024-02-29 01:02:28 +01:00
• d689c7ec86 update npm deps v4.5.0 Jon Eugster 2024-02-07 13:03:48 +01:00
• 16c979a6c2 bump npm dependencies Jon Eugster 2024-02-07 12:54:10 +01:00
• 2b85386373 move Hint tactic back Jon Eugster 2024-02-16 18:20:36 +01:00
• 8008b68fd6 cleanup code surrounding hints Jon Eugster 2024-02-16 18:09:01 +01:00
• 2649f985fa plug-in variables in hints client-side Jon Eugster 2024-02-16 16:50:10 +01:00
• 698a88c545 Update troubleshoot.md Jon Eugster 2024-02-16 10:57:02 +01:00
• 3775ad98c8 level completed message in editor Jon Eugster 2024-02-14 18:36:19 +01:00
• 780514e45a fix: allow theorems from inventory #191 Jon Eugster 2024-02-14 18:22:01 +01:00
• 19f2ceface fix indent Jon Eugster 2024-02-14 16:45:32 +01:00
• ce739078b9 fixes for v4.6.0-rc1 v4.6.0-bump Jon Eugster 2024-02-14 16:22:10 +01:00
• a671bfa15f bump to v4.6.0-rc1 Jon Eugster 2024-02-14 15:04:32 +01:00
• 800d1f3308 drop importGraph dependency in server Jon Eugster 2024-02-14 15:03:12 +01:00
• c0acde14e2 hints and diags in editor Jon Eugster 2024-02-14 15:02:14 +01:00
• 976d1c6901 fix: goal in editor didnt show Jon Eugster 2024-02-14 14:53:10 +01:00
• 5bb6c559bc update npm deps Jon Eugster 2024-02-07 13:03:48 +01:00
• 11ee6c1535 bump npm dependencies Jon Eugster 2024-02-07 12:54:10 +01:00
• 3998fb2fc9 Merge branch 'main' into dev Jon Eugster 2024-02-07 12:51:39 +01:00
• 538f74004c allow for empty lines in editor Jon Eugster 2024-02-07 12:41:21 +01:00
• 6aebb8993f update proof from editor Jon Eugster 2024-02-07 10:34:43 +01:00
• 6472ef5b31 First big junk of communication refactor Jon Eugster 2024-02-06 19:35:28 +01:00
• 72ffab5b46 cleanup InteractiveGoal Jon Eugster 2024-02-01 14:05:24 +01:00
• 3b660c5185 Merge branch 'dev'. Bump to v4.5.0 Jon Eugster 2024-02-02 12:44:32 +01:00
• ebb8c98145 bump to v4.5.0 Jon Eugster 2024-02-02 12:43:58 +01:00
• 4abf05b77e Merge branch 'dev' into v4.5.0-bump Jon Eugster 2024-02-02 12:11:55 +01:00
• afae75e41f some stuff wasm2 Alexander Bentkamp 2024-02-01 21:52:36 +01:00
• df423aaace Merge pull request #181 from Wzixiao/auto-mobile-layout Jon Eugster 2024-01-26 12:06:29 +01:00
• a67dcb306f fix indent Jon Eugster 2024-01-26 11:55:00 +01:00
• 37582e04d4 fix errors for disabled tactics #188 Jon Eugster 2024-01-26 11:54:36 +01:00
• 9d4a6df139 Remove MobileContext and use PreferencesContext instead #181 ran 2024-01-23 22:59:43 +08:00
• 26202e5f36 fix typo Jon Eugster 2024-01-22 14:09:54 +01:00
• ed017fa605 documentation & cleanup in FileWorker Jon Eugster 2024-01-22 14:06:52 +01:00
• 36bc52c960 add logic game to landing page Jon Eugster 2024-01-22 13:31:43 +01:00
• e085f2f106 Merge pull request #186 from Geoc2022/main Jon Eugster 2024-01-22 13:26:30 +01:00
• e975c455fe Update doc/DOCUMENTATION.md #186 Jon Eugster 2024-01-22 12:44:12 +01:00
• c006be5a9f Fix minor typos geo 2024-01-20 16:15:15 -05:00
• 49379a0930 Fix link references geo 2024-01-20 16:02:46 -05:00
• 03076b0161 Add example npm start message geo 2024-01-19 10:52:26 -05:00
• bfb60ffedd Updated "Doc entries" geo 2024-01-19 10:41:20 -05:00
• ca576542ba whitelist generalizing and says. #173 Jon Eugster 2024-01-19 10:53:43 +01:00
• fd5e507541 lint: fix line widths Jon Eugster 2024-01-19 10:50:48 +01:00
• c103eeacfa fix: case insensitive url in local store #183 Jon Eugster 2024-01-18 14:57:50 +01:00
• e277a48749 add changelog file Jon Eugster 2024-01-18 14:19:32 +01:00
• 16ff701518 Update troubleshoot.md Jon Eugster 2024-01-18 13:51:33 +01:00
• 20ca385e14 Update README.md Jon Eugster 2024-01-18 13:48:43 +01:00
• 5a38543e3b Merge pull request #185 from leanprover-community/joneugster-patch-1 Jon Eugster 2024-01-18 13:48:08 +01:00
• a4a6f2e725 Merge pull request #184 from leanprover-community/joneugster-patch-1-1 Jon Eugster 2024-01-18 13:47:48 +01:00
• cc89e78e4c Create troubleshoot.md #184 joneugster-patch-1-1 Jon Eugster 2024-01-18 13:47:16 +01:00
• c533a635c2 Update docs #185 joneugster-patch-1 Jon Eugster 2024-01-18 13:47:08 +01:00
• ab98eaa3ba Change the selected button to a slider ran 2024-01-16 11:21:46 +08:00
• 7114a8c4cb fix: remove tmp files after import Jon Eugster 2024-01-15 12:15:03 +01:00
• b7eb15184d Merge pull request #182 from lnay/patch-1 Jon Eugster 2024-01-15 11:24:46 +01:00
• 892c70165a Minor: correct error in markdown #182 Luke Naylor 2024-01-12 21:07:19 +00:00
• 8929813e48 Added a missing space regarding code style in store.ts ran 2024-01-12 23:48:47 +08:00
• 5d88cd6739 Remove logically duplicated code ran 2024-01-12 23:44:43 +08:00
• d16956da9b Modify the props definition of the preference popup component ran 2024-01-12 23:43:21 +08:00
• e15e5af126 Add todo about setMobile ran 2024-01-12 23:31:22 +08:00
• 8c93b3c5b3 Modify logic for all preferences ran 2024-01-12 23:29:03 +08:00
• cd1d212a3c npm audit Jon Eugster 2024-01-10 15:40:57 +01:00
• 406c2799b1 bump to v4.5.0-rc1 v4.5.0-bump Jon Eugster 2023-12-25 12:07:56 +01:00
• e579071a3b Merge branch 'v4.4.0' v4.4.0 Jon Eugster 2023-12-25 12:01:49 +01:00
• 8cdac88b5a bump to v4.4.0 Jon Eugster 2023-12-22 13:28:49 +01:00
• 7882958f54 Update update_game.md Jon Eugster 2023-12-18 16:20:26 +01:00
• c9f97b3285 remove watchdog Alexander Bentkamp 2023-12-15 22:17:09 +01:00
• 2e09526484 $/game/setInventory no longer needed nowatchdog Alexander Bentkamp 2023-12-15 21:48:42 +01:00
• 422f54e8f7 use json file to get levelInfo Alexander Bentkamp 2023-12-15 21:41:13 +01:00