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

• ca366d4bde custom interactive goal data types Alexander Bentkamp 2023-01-25 11:00:36 +01:00
• 09aae16693 Add loading indicators in infoview Alexander Bentkamp 2023-01-25 10:22:03 +01:00
• 59c33d2423 remove custom getDiagnostics Alexander Bentkamp 2023-01-25 10:15:29 +01:00
• 126bfa051a prettier hints Alexander Bentkamp 2023-01-25 10:07:22 +01:00
• f4ac6ef7fb remove infoprovider.dispose() Alexander Bentkamp 2023-01-24 17:17:12 +01:00
• f2dc99ff35 levels. Jon Eugster 2023-01-24 16:54:28 +01:00
• 8c4b995a32 rename message to hint Alexander Bentkamp 2023-01-24 16:37:18 +01:00
• ecc9a488a2 typo Jon Eugster 2023-01-24 16:00:15 +01:00
• d4c3d90e9b level names Jon Eugster 2023-01-24 15:46:14 +01:00
• 6576aa0231 levels. Jon Eugster 2023-01-24 15:11:24 +01:00
• eff64d9713 Merge branch 'main' of github.com:leanprover-community/lean4game Jon Eugster 2023-01-24 14:54:39 +01:00
• 96ec872f49 levels. Jon Eugster 2023-01-24 14:54:36 +01:00
• b7cc5aaf57 show hints Alexander Bentkamp 2023-01-24 14:09:34 +01:00
• 8175d32a3c custom getInteractiveGoals RPC Alexander Bentkamp 2023-01-24 12:15:47 +01:00
• 1aba4162e4 integrate infoview into react component tree Alexander Bentkamp 2023-01-24 11:22:43 +01:00
• 32bacf8b7c move renderInfoview function Alexander Bentkamp 2023-01-24 11:03:02 +01:00
• 45bdc22600 show all messages, independent of cursor position Alexander Bentkamp 2023-01-24 10:50:51 +01:00
• 9527bee77e rename message-panel to introduction-panel Alexander Bentkamp 2023-01-24 10:40:10 +01:00
• f2a31d2baa fix css Alexander Bentkamp 2023-01-24 10:35:31 +01:00
• 75d1183d15 Merge branch 'main' of github.com:leanprover-community/lean4game Jon Eugster 2023-01-24 10:09:37 +01:00
• 2223fcc0ad CSS fix Jon Eugster 2023-01-24 10:09:33 +01:00
• e282396a8e more levels. Jon Eugster 2023-01-24 10:07:35 +01:00
• 44d6560f27 start replacing mui by custom css Alexander Bentkamp 2023-01-23 15:59:09 +01:00
• 90540b158f new levels. Jon Eugster 2023-01-23 11:06:23 +01:00
• 8e3af92c03 simplify infoview Alexander Bentkamp 2023-01-20 16:44:45 +01:00
• cdb2b64385 import the lean4 infoview so that we can modify it Alexander Bentkamp 2023-01-20 15:49:17 +01:00
• 5ff9e5e26c reinsert vscode infoview Alexander Bentkamp 2023-01-20 13:55:33 +01:00
• edc49184a6 fix #8 Alexander Bentkamp 2023-01-20 13:56:49 +01:00
• 7c66d6c7de Merge branch 'main' of github.com:leanprover-community/lean4game Jon Eugster 2023-01-20 11:42:10 +01:00
• d2be90a8a0 bump mathlib and use Even/Odd. Jon Eugster 2023-01-20 11:42:01 +01:00
• 719b8d2964 World names Alexander Bentkamp 2023-01-20 11:36:44 +01:00
• 6e0469d3bf world titles Alexander Bentkamp 2023-01-19 17:43:36 +01:00
• f98ff9fa10 lake exe cache get Alexander Bentkamp 2023-01-19 17:00:16 +01:00
• 206152a07c save progress in local storage Alexander Bentkamp 2023-01-19 16:09:33 +01:00
• 8dd3c09339 Merge branch 'main' of github.com:leanprover-community/lean4game Jon Eugster 2023-01-19 15:44:08 +01:00
• e9ec48ef44 changes to levels Jon Eugster 2023-01-19 15:44:04 +01:00
• 9d1a591670 changes to levels Jon Eugster 2023-01-19 15:43:29 +01:00
• 01e2b3b4a1 bump mathlib Jon Eugster 2023-01-19 15:43:11 +01:00
• 5fa49551ee keep alive message for websocket Alexander Bentkamp 2023-01-19 15:18:19 +01:00
• 2efdfe3d07 format navigation buttons Jon Eugster 2023-01-19 14:02:10 +01:00
• adcc6a06c7 level modifications Jon Eugster 2023-01-19 13:52:01 +01:00
• fd0c421d84 home button Alexander Bentkamp 2023-01-19 12:29:07 +01:00
• 5b021f5981 Add dummy levels Jon Eugster 2023-01-19 12:17:00 +01:00
• 420f913e69 reorganise world Implication Jon Eugster 2023-01-19 12:01:59 +01:00
• 966db8a159 typos Jon Eugster 2023-01-17 15:48:56 +01:00
• 1eb0ac63e3 Modified starter level. Jon Eugster 2023-01-17 15:30:49 +01:00
• b02d55de34 track completed levels Alexander Bentkamp 2023-01-09 17:00:15 +01:00
• 9f19352047 insert proper keys in lists Alexander Bentkamp 2022-12-23 09:14:58 +01:00
• 49159c9761 useEditorUri, hide server crash messages Alexander Bentkamp 2022-12-22 16:11:27 +01:00
• 53bed75036 fix bug of nonupdating level title Alexander Bentkamp 2022-12-21 15:16:38 +01:00
• 2f0af5f472 Merge branch 'main' of github.com:leanprover-community/lean4game Jon Eugster 2022-12-21 13:40:46 +01:00
• 81e048320a update node packages Jon Eugster 2022-12-21 13:40:38 +01:00
• 306c76e500 jump to end position when loading a level Alexander Bentkamp 2022-12-21 12:42:08 +01:00
• fd59e2067b loading icon for goals Alexander Bentkamp 2022-12-21 12:37:50 +01:00
• efd77ac37b merge Jon Eugster 2022-12-21 11:42:14 +01:00
• 219c574fd5 upgrade and level typos Jon Eugster 2022-12-21 11:32:50 +01:00
• adc6284d4c unmount editor properly Alexander Bentkamp 2022-12-20 17:24:36 +01:00
• 4fd5710b9d use correct jsx capitalization Alexander Bentkamp 2022-12-20 16:32:19 +01:00
• 56bf360ef5 close rpc sessions properly Alexander Bentkamp 2022-12-20 12:45:44 +01:00
• ad6f907d17 load number of levels from server Alexander Bentkamp 2022-12-20 12:06:35 +01:00
• af2416b97a update ecosystem.config.js Jon Eugster 2022-12-19 14:43:31 +01:00
• 3117182494 fix dockerfile Alexander Bentkamp 2022-12-19 14:11:28 +01:00
• 860a608399 data? Alexander Bentkamp 2022-12-19 13:56:47 +01:00
• 44b8edbec3 updates Jon 2022-12-18 02:28:50 +01:00
• ac29c83e79 show global errors when no goals present. Jon 2022-12-16 16:09:09 +01:00
• ef1973c50b updating Logic world Jon 2022-12-16 14:05:57 +01:00
• 91c77a0d93 set titles Alexander Bentkamp 2022-12-15 14:18:21 +01:00
• 340700aba4 check completed when changing level Alexander Bentkamp 2022-12-15 14:02:24 +01:00
• bbfb6f8f5e use ReactMarkdown plugins Alexander Bentkamp 2022-12-15 13:40:45 +01:00
• ada40dcf34 Merge branch 'main' of github.com:hhu-adam/lean4game Alexander Bentkamp 2022-12-15 12:04:43 +01:00
• 9a4abe6f80 dispose editor Alexander Bentkamp 2022-12-15 12:04:40 +01:00
• bb034c6984 level update Jon Eugster 2022-12-14 21:10:55 +01:00
• cf8aaa0673 improved InfoView Jon Eugster 2022-12-14 20:27:17 +01:00
• 08c6ab897c reliable level completed message Alexander Bentkamp 2022-12-14 16:59:46 +01:00
• 60b09c81fe diagnostics for simple infoview Alexander Bentkamp 2022-12-14 16:31:48 +01:00
• 3fd3a12370 Merge branch 'main' of github.com:hhu-adam/lean4game Alexander Bentkamp 2022-12-14 15:30:57 +01:00
• e88dc0eb71 unify hints and messages Alexander Bentkamp 2022-12-14 15:30:54 +01:00
• 6bb758c666 fixing text wrap in side panel. Jon Eugster 2022-12-14 15:11:04 +01:00
• cacab5336e merge Jon Eugster 2022-12-14 14:43:50 +01:00
• 802d748bf4 collapsable side panel Jon Eugster 2022-12-14 14:39:37 +01:00
• 32b9d028a7 save state of code Alexander Bentkamp 2022-12-14 14:02:57 +01:00
• 4114cbc304 remove button Alexander Bentkamp 2022-12-14 12:23:42 +01:00
• 83bbcd850e use svg for overview Alexander Bentkamp 2022-12-14 12:22:46 +01:00
• 513a6f0a3e merge Jon Eugster 2022-12-13 11:20:54 +01:00
• c7d7174bdb changing CSS Jon Eugster 2022-12-13 11:19:42 +01:00
• 0ec9cadb13 display errors Alexander Bentkamp 2022-12-13 11:02:32 +01:00
• e14c28839a merge again Jon Eugster 2022-12-12 21:01:13 +01:00
• 46848d8a93 merge addition of Lemma statements Jon Eugster 2022-12-12 20:54:31 +01:00
• b2727eef89 toggle hints Jon Eugster 2022-12-12 14:01:57 +01:00
• 17792e1a01 Add Support for lemma statement. Jon Eugster 2022-12-12 20:08:28 +01:00
• a5d2242ef9 add task gutter Alexander Bentkamp 2022-12-12 17:12:21 +01:00
• cd18884885 fix Alexander Bentkamp 2022-12-12 17:07:37 +01:00
• b5e1d38341 allow hot reloading in level Alexander Bentkamp 2022-12-12 16:34:25 +01:00
• 4c135aa6ae load level using rtk Alexander Bentkamp 2022-12-12 16:28:07 +01:00
• 1e48980af8 toggle hints Jon Eugster 2022-12-12 14:01:57 +01:00
• 649a5d2dfb Add hints. Jon Eugster 2022-12-12 12:19:21 +01:00
• 04c0466fa4 update to lean nightly 22-12-05 Jon Eugster 2022-12-12 11:13:02 +01:00
• c6d8b35806 set up rtk query Alexander Bentkamp 2022-12-09 17:20:03 +01:00
• c26227a631 Merge branch 'main' of github.com:leanprover-community/lean4game Jon 2022-12-09 16:55:13 +01:00
• d55730ee7e update mathlib to master Jon 2022-12-09 16:55:09 +01:00