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

• 02db8617f6 add 'fun' keyword to allowed tactics Jon Eugster 2023-03-03 12:07:22 +01:00
• 99080aa5ff levels up to 'Lean' Jon Eugster 2023-03-03 11:54:37 +01:00
• c679325c46 exclude 'only' keyword from forbidden tactics Jon Eugster 2023-03-03 11:22:58 +01:00
• c015d1e1f9 edit package.json to run lake build once at startup Jon Eugster 2023-03-03 10:46:11 +01:00
• a783e1dffc Add tabs for lemmas #23 Alexander Bentkamp 2023-03-02 12:15:34 +01:00
• 7748eefa4a fix lemma check Alexander Bentkamp 2023-03-02 10:25:18 +01:00
• c7bf92c168 levels Jon Eugster 2023-03-01 18:39:43 +01:00
• a44efef7de add definitions Alexander Bentkamp 2023-03-01 17:31:44 +01:00
• 2be1a348ee Merge branch 'main' of github.com:leanprover-community/lean4game Jon Eugster 2023-03-01 17:25:42 +01:00
• a18582a5f8 levels Jon Eugster 2023-03-01 17:25:10 +01:00
• 9a97b569b5 unify code for tactics and lemmas Alexander Bentkamp 2023-03-01 17:14:01 +01:00
• 676560a0df revert to use isDefEq for hints Alexander Bentkamp 2023-03-01 14:41:29 +01:00
• 0ebf890392 levels Jon Eugster 2023-03-01 11:56:01 +01:00
• aca781879a edit package.json Jon Eugster 2023-03-01 11:55:44 +01:00
• bc6c4a57e7 treat simp? and simp! like simp Alexander Bentkamp 2023-03-01 11:37:34 +01:00
• bf7c68d4f9 pass lemma/tactic status to file worker Alexander Bentkamp 2023-03-01 11:20:32 +01:00
• 4f93dbf928 disable automatic compilation of lean files Alexander Bentkamp 2023-03-01 10:55:03 +01:00
• a85f40541e custom unification for hint trigger Alexander Bentkamp 2023-03-01 10:38:02 +01:00
• bc7533d18f loading icon for loading goals Alexander Bentkamp 2023-02-28 14:37:14 +01:00
• 604e6757ec Import only specific Level file Alexander Bentkamp 2023-02-28 13:03:31 +01:00
• 8a9b1a25e8 levels Jon Eugster 2023-02-27 12:20:01 +01:00
• 695903f5d8 Merge branch 'main' of github.com:leanprover-community/lean4game Jon Eugster 2023-02-27 10:40:50 +01:00
• cbd1867148 levels Jon Eugster 2023-02-27 10:40:46 +01:00
• 591423b308 make opening namespaces work properly Alexander Bentkamp 2023-02-24 16:37:40 +01:00
• c065dcc5e3 Merge branch 'main' of github.com:leanprover-community/lean4game Jon Eugster 2023-02-24 14:43:41 +01:00
• 5921de848d Preload all files in a world #15 Alexander Bentkamp 2023-02-23 17:11:11 +01:00
• 82af2ded8e Speed up loading by process queue #15 Alexander Bentkamp 2023-02-23 10:18:02 +01:00
• 09137c7019 remove set_option tactic.hygienic false Alexander Bentkamp 2023-02-22 17:55:46 +01:00
• 404062c015 Use local scope from level file in game Alexander Bentkamp 2023-02-22 17:45:08 +01:00
• 49f9ff035f fix version of lean4 infoview Alexander Bentkamp 2023-02-22 15:48:46 +01:00
• 1f0d9aea43 check if tactic doc exists Alexander Bentkamp 2023-02-22 15:10:46 +01:00
• f17246f6d4 check lemma names Alexander Bentkamp 2023-02-22 11:44:13 +01:00
• 06f4f4e223 typo Alexander Bentkamp 2023-02-22 11:40:59 +01:00
• 45b13fa959 levels Jon Eugster 2023-02-17 16:12:56 +01:00
• ebfd31a111 bump mathlib Jon Eugster 2023-02-15 11:55:14 +01:00
• 51f111bbed bump mathlib Jon Eugster 2023-02-14 12:07:33 +01:00
• e4d5010163 Merge branch 'main' of github.com:leanprover-community/lean4game Jon Eugster 2023-02-13 17:48:18 +01:00
• af3afc3a94 levels Jon Eugster 2023-02-13 17:48:11 +01:00
• 02ac370a62 Run -> Execute Alexander Bentkamp 2023-02-09 15:48:52 +01:00
• 84ce05a548 more styling Alexander Bentkamp 2023-02-09 15:42:10 +01:00
• 116026428f show lemma and tactic docs Alexander Bentkamp 2023-02-09 15:34:37 +01:00
• 891d51829c rename leftpanel to inventory Alexander Bentkamp 2023-02-09 14:26:57 +01:00
• 622aca644e correct shrinking of command line Alexander Bentkamp 2023-02-09 13:54:06 +01:00
• ca329a933c make command line look the same on all browsers Alexander Bentkamp 2023-02-09 13:43:59 +01:00
• 6e8a47b1a7 lemma inventory Alexander Bentkamp 2023-02-09 13:25:40 +01:00
• c628d0eec4 new tactic display Alexander Bentkamp 2023-02-08 17:06:15 +01:00
• c93f6bfc15 allow "rcases with" tactic Alexander Bentkamp 2023-02-08 13:11:01 +01:00
• e264f11d60 inventory experiment Alexander Bentkamp 2023-02-07 21:14:29 +01:00
• 992781ba11 css Jon Eugster 2023-02-08 16:39:54 +01:00
• 2e73bc3330 css Jon Eugster 2023-02-08 16:16:14 +01:00
• abcc3087d3 new levels Jon Eugster 2023-02-08 16:05:51 +01:00
• 6d1058773c move excercise to middle panel. Jon Eugster 2023-02-08 16:05:28 +01:00
• e20613901f Merge branch 'main' of github.com:leanprover-community/lean4game Jon Eugster 2023-02-08 10:34:47 +01:00
• 07b140acf7 levels Jon Eugster 2023-02-08 10:33:45 +01:00
• 7510b83591 hide command line in "other goals" Alexander Bentkamp 2023-02-07 16:03:04 +01:00
• 278aedb20c more monaco command line Alexander Bentkamp 2023-02-07 15:39:40 +01:00
• a3b1011035 monaco command line Alexander Bentkamp 2023-02-07 13:25:57 +01:00
• cd27b2026c OnlyTactics command #16 Alexander Bentkamp 2023-02-06 15:31:26 +01:00
• 51f82cf9eb disabled tactics command #16 Alexander Bentkamp 2023-02-06 14:59:41 +01:00
• dd4fe60f7e update package json Alexander Bentkamp 2023-02-06 14:24:30 +01:00
• a4987f14cf forbidden tactics error message #16 Alexander Bentkamp 2023-02-06 12:25:27 +01:00
• 76d1a08948 compute which tactics are available in which level Alexander Bentkamp 2023-02-03 17:04:09 +01:00
• 03faa3ffed fix lean server error Alexander Bentkamp 2023-02-03 16:39:47 +01:00
• 85a96579a5 remove tactic set for real Alexander Bentkamp 2023-02-03 16:31:56 +01:00
• d1eee327dd graph algos Alexander Bentkamp 2023-02-03 16:29:16 +01:00
• 3f433507db remove TacticSet command Alexander Bentkamp 2023-02-02 14:51:12 +01:00
• ad50fb986d bump mathlib Jon Eugster 2023-02-02 16:05:58 +01:00
• f0171797f3 typo Jon Eugster 2023-02-02 14:58:55 +01:00
• 72d65824b1 Merge branch 'main' of github.com:leanprover-community/lean4game Jon Eugster 2023-02-02 14:45:48 +01:00
• 404f346920 set theory levels Jon Eugster 2023-02-02 14:44:58 +01:00
• 41cc23543b fix command line bug Alexander Bentkamp 2023-02-02 09:35:03 +01:00
• 73a44bd057 disable undo button Alexander Bentkamp 2023-01-30 15:30:48 +01:00
• 5025fa939b show line numbers only in editor mode Alexander Bentkamp 2023-01-30 15:18:06 +01:00
• 45f88cf5a8 undo button Alexander Bentkamp 2023-01-30 15:15:39 +01:00
• fbdc1afe34 hide command line properly Alexander Bentkamp 2023-01-30 13:18:02 +01:00
• f73dac8353 prettier command line Alexander Bentkamp 2023-01-30 12:28:25 +01:00
• 48de58416d editor mode Alexander Bentkamp 2023-01-30 12:00:33 +01:00
• e2ea6fa85e resizable panels Alexander Bentkamp 2023-01-30 11:19:33 +01:00
• 2774fab98c replace mui buttons, move them into bar Alexander Bentkamp 2023-01-27 17:28:32 +01:00
• 8c83e802e9 center loading icon Alexander Bentkamp 2023-01-27 16:39:00 +01:00
• 6d567a696f add command line #26 Alexander Bentkamp 2023-01-27 12:14:08 +01:00
• 450f32a56b disable quickSuggestions Alexander Bentkamp 2023-01-26 16:28:08 +01:00
• 221927942f fix semantic highlighting Alexander Bentkamp 2023-01-26 16:19:56 +01:00
• fdbd962742 set_option tactic.hygienic false Alexander Bentkamp 2023-01-26 12:17:26 +01:00
• f82c310557 check when level is completed Alexander Bentkamp 2023-01-26 12:06:13 +01:00
• 5578359742 remove old files Alexander Bentkamp 2023-01-26 11:33:36 +01:00
• fda1a0ef08 use our custom unfoldSnaps instead of unfoldCmdSnaps Alexander Bentkamp 2023-01-26 11:10:57 +01:00
• e930bbb8af show unsolved goals message, but without the goals Alexander Bentkamp 2023-01-25 17:25:12 +01:00
• cda4e5b859 Hide "unsolved goals" messages Alexander Bentkamp 2023-01-25 16:36:21 +01:00
• 5bfae3a1c2 show other goals only for more than 1 goal Alexander Bentkamp 2023-01-25 16:22:45 +01:00
• e3c67a06b8 fix error Alexander Bentkamp 2023-01-25 16:19:41 +01:00
• a2c9645144 prettier goal display Alexander Bentkamp 2023-01-25 14:57:34 +01:00
• 313e44a16d split into main goal and other goals Alexander Bentkamp 2023-01-25 14:45:07 +01:00
• 3e4a687bd1 prettier goal view Alexander Bentkamp 2023-01-25 13:51:00 +01:00
• ba3b65b7db use css for svg styling Alexander Bentkamp 2023-01-25 13:47:44 +01:00
• 026679e541 fix: kill docker when socket gets closed Alexander Bentkamp 2023-01-25 13:20:49 +01:00
• ab3a0df9af update lean4web Alexander Bentkamp 2023-01-25 11:54:57 +01:00
• 1d2b12eb5f fix error Alexander Bentkamp 2023-01-25 11:32:00 +01:00
• 3d349f9a6b reintroduce infoProvider.dispose(); Alexander Bentkamp 2023-01-25 11:30:26 +01:00
• 6c9ba14fd2 Split assumptions and objects Alexander Bentkamp 2023-01-25 11:29:40 +01:00