phc
/
lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • fbdc1afe34 hide command line properly Alexander Bentkamp 2023-01-30 13:18:02 +0100
  • f73dac8353 prettier command line Alexander Bentkamp 2023-01-30 12:28:25 +0100
  • 48de58416d editor mode Alexander Bentkamp 2023-01-30 12:00:33 +0100
  • e2ea6fa85e resizable panels Alexander Bentkamp 2023-01-30 11:19:33 +0100
  • 2774fab98c replace mui buttons, move them into bar Alexander Bentkamp 2023-01-27 17:28:32 +0100
  • 8c83e802e9 center loading icon Alexander Bentkamp 2023-01-27 16:39:00 +0100
  • 6d567a696f add command line #26 Alexander Bentkamp 2023-01-27 12:14:08 +0100
  • 450f32a56b disable quickSuggestions Alexander Bentkamp 2023-01-26 16:28:08 +0100
  • 221927942f fix semantic highlighting Alexander Bentkamp 2023-01-26 16:19:56 +0100
  • fdbd962742 set_option tactic.hygienic false Alexander Bentkamp 2023-01-26 12:17:26 +0100
  • f82c310557 check when level is completed Alexander Bentkamp 2023-01-26 12:06:13 +0100
  • 5578359742 remove old files Alexander Bentkamp 2023-01-26 11:33:36 +0100
  • fda1a0ef08 use our custom unfoldSnaps instead of unfoldCmdSnaps Alexander Bentkamp 2023-01-26 11:10:57 +0100
  • e930bbb8af show unsolved goals message, but without the goals Alexander Bentkamp 2023-01-25 17:25:12 +0100
  • cda4e5b859 Hide "unsolved goals" messages Alexander Bentkamp 2023-01-25 16:36:21 +0100
  • 5bfae3a1c2 show other goals only for more than 1 goal Alexander Bentkamp 2023-01-25 16:22:45 +0100
  • e3c67a06b8 fix error Alexander Bentkamp 2023-01-25 16:19:41 +0100
  • a2c9645144 prettier goal display Alexander Bentkamp 2023-01-25 14:57:34 +0100
  • 313e44a16d split into main goal and other goals Alexander Bentkamp 2023-01-25 14:45:07 +0100
  • 3e4a687bd1 prettier goal view Alexander Bentkamp 2023-01-25 13:51:00 +0100
  • ba3b65b7db use css for svg styling Alexander Bentkamp 2023-01-25 13:47:44 +0100
  • 026679e541 fix: kill docker when socket gets closed Alexander Bentkamp 2023-01-25 13:20:49 +0100
  • ab3a0df9af update lean4web Alexander Bentkamp 2023-01-25 11:54:57 +0100
  • 1d2b12eb5f fix error Alexander Bentkamp 2023-01-25 11:32:00 +0100
  • 3d349f9a6b reintroduce infoProvider.dispose(); Alexander Bentkamp 2023-01-25 11:30:26 +0100
  • 6c9ba14fd2 Split assumptions and objects Alexander Bentkamp 2023-01-25 11:29:40 +0100
  • ca366d4bde custom interactive goal data types Alexander Bentkamp 2023-01-25 11:00:36 +0100
  • 09aae16693 Add loading indicators in infoview Alexander Bentkamp 2023-01-25 10:22:03 +0100
  • 59c33d2423 remove custom getDiagnostics Alexander Bentkamp 2023-01-25 10:15:29 +0100
  • 126bfa051a prettier hints Alexander Bentkamp 2023-01-25 10:07:22 +0100
  • f4ac6ef7fb remove infoprovider.dispose() Alexander Bentkamp 2023-01-24 17:17:12 +0100
  • f2dc99ff35 levels. Jon Eugster 2023-01-24 16:54:28 +0100
  • 8c4b995a32 rename message to hint Alexander Bentkamp 2023-01-24 16:37:18 +0100
  • ecc9a488a2 typo Jon Eugster 2023-01-24 16:00:15 +0100
  • d4c3d90e9b level names Jon Eugster 2023-01-24 15:46:14 +0100
  • 6576aa0231 levels. Jon Eugster 2023-01-24 15:11:24 +0100
  • eff64d9713 Merge branch 'main' of github.com:leanprover-community/lean4game Jon Eugster 2023-01-24 14:54:39 +0100
  • 96ec872f49 levels. Jon Eugster 2023-01-24 14:54:36 +0100
  • b7cc5aaf57 show hints Alexander Bentkamp 2023-01-24 14:09:34 +0100
  • 8175d32a3c custom getInteractiveGoals RPC Alexander Bentkamp 2023-01-24 12:15:47 +0100
  • 1aba4162e4 integrate infoview into react component tree Alexander Bentkamp 2023-01-24 11:22:43 +0100
  • 32bacf8b7c move renderInfoview function Alexander Bentkamp 2023-01-24 11:03:02 +0100
  • 45bdc22600 show all messages, independent of cursor position Alexander Bentkamp 2023-01-24 10:50:51 +0100
  • 9527bee77e rename message-panel to introduction-panel Alexander Bentkamp 2023-01-24 10:40:10 +0100
  • f2a31d2baa fix css Alexander Bentkamp 2023-01-24 10:35:31 +0100
  • 75d1183d15 Merge branch 'main' of github.com:leanprover-community/lean4game Jon Eugster 2023-01-24 10:09:37 +0100
  • 2223fcc0ad CSS fix Jon Eugster 2023-01-24 10:09:33 +0100
  • e282396a8e more levels. Jon Eugster 2023-01-24 10:07:35 +0100
  • 44d6560f27 start replacing mui by custom css Alexander Bentkamp 2023-01-23 15:59:09 +0100
  • 90540b158f new levels. Jon Eugster 2023-01-23 11:06:23 +0100
  • 8e3af92c03 simplify infoview Alexander Bentkamp 2023-01-20 16:44:45 +0100
  • cdb2b64385 import the lean4 infoview so that we can modify it Alexander Bentkamp 2023-01-20 15:49:17 +0100
  • 5ff9e5e26c reinsert vscode infoview Alexander Bentkamp 2023-01-20 13:55:33 +0100
  • edc49184a6 fix #8 Alexander Bentkamp 2023-01-20 13:56:49 +0100
  • 7c66d6c7de Merge branch 'main' of github.com:leanprover-community/lean4game Jon Eugster 2023-01-20 11:42:10 +0100
  • d2be90a8a0 bump mathlib and use Even/Odd. Jon Eugster 2023-01-20 11:42:01 +0100
  • 719b8d2964 World names Alexander Bentkamp 2023-01-20 11:36:44 +0100
  • 6e0469d3bf world titles Alexander Bentkamp 2023-01-19 17:43:36 +0100
  • f98ff9fa10 lake exe cache get Alexander Bentkamp 2023-01-19 17:00:16 +0100
  • 206152a07c save progress in local storage Alexander Bentkamp 2023-01-19 16:09:33 +0100
  • 8dd3c09339 Merge branch 'main' of github.com:leanprover-community/lean4game Jon Eugster 2023-01-19 15:44:08 +0100
  • e9ec48ef44 changes to levels Jon Eugster 2023-01-19 15:44:04 +0100
  • 9d1a591670 changes to levels Jon Eugster 2023-01-19 15:43:29 +0100
  • 01e2b3b4a1 bump mathlib Jon Eugster 2023-01-19 15:43:11 +0100
  • 5fa49551ee keep alive message for websocket Alexander Bentkamp 2023-01-19 15:18:19 +0100
  • 2efdfe3d07 format navigation buttons Jon Eugster 2023-01-19 14:02:10 +0100
  • adcc6a06c7 level modifications Jon Eugster 2023-01-19 13:52:01 +0100
  • fd0c421d84 home button Alexander Bentkamp 2023-01-19 12:29:07 +0100
  • 5b021f5981 Add dummy levels Jon Eugster 2023-01-19 12:17:00 +0100
  • 420f913e69 reorganise world Implication Jon Eugster 2023-01-19 12:01:59 +0100
  • 966db8a159 typos Jon Eugster 2023-01-17 15:48:56 +0100
  • 1eb0ac63e3 Modified starter level. Jon Eugster 2023-01-17 15:30:49 +0100
  • b02d55de34 track completed levels Alexander Bentkamp 2023-01-09 17:00:15 +0100
  • 9f19352047 insert proper keys in lists Alexander Bentkamp 2022-12-23 09:14:58 +0100
  • 49159c9761 useEditorUri, hide server crash messages Alexander Bentkamp 2022-12-22 16:11:27 +0100
  • 53bed75036 fix bug of nonupdating level title Alexander Bentkamp 2022-12-21 15:16:38 +0100
  • 2f0af5f472 Merge branch 'main' of github.com:leanprover-community/lean4game Jon Eugster 2022-12-21 13:40:46 +0100
  • 81e048320a update node packages Jon Eugster 2022-12-21 13:40:38 +0100
  • 306c76e500 jump to end position when loading a level Alexander Bentkamp 2022-12-21 12:42:08 +0100
  • fd59e2067b loading icon for goals Alexander Bentkamp 2022-12-21 12:37:50 +0100
  • efd77ac37b merge Jon Eugster 2022-12-21 11:42:14 +0100
  • 219c574fd5 upgrade and level typos Jon Eugster 2022-12-21 11:32:50 +0100
  • adc6284d4c unmount editor properly Alexander Bentkamp 2022-12-20 17:24:36 +0100
  • 4fd5710b9d use correct jsx capitalization Alexander Bentkamp 2022-12-20 16:32:19 +0100
  • 56bf360ef5 close rpc sessions properly Alexander Bentkamp 2022-12-20 12:45:44 +0100
  • ad6f907d17 load number of levels from server Alexander Bentkamp 2022-12-20 12:06:35 +0100
  • af2416b97a update ecosystem.config.js Jon Eugster 2022-12-19 14:43:31 +0100
  • 3117182494 fix dockerfile Alexander Bentkamp 2022-12-19 14:11:28 +0100
  • 860a608399 data? Alexander Bentkamp 2022-12-19 13:56:47 +0100
  • 44b8edbec3 updates Jon 2022-12-18 02:28:50 +0100
  • ac29c83e79 show global errors when no goals present. Jon 2022-12-16 16:09:09 +0100
  • ef1973c50b updating Logic world Jon 2022-12-16 14:05:57 +0100
  • 91c77a0d93 set titles Alexander Bentkamp 2022-12-15 14:18:21 +0100
  • 340700aba4 check completed when changing level Alexander Bentkamp 2022-12-15 14:02:24 +0100
  • bbfb6f8f5e use ReactMarkdown plugins Alexander Bentkamp 2022-12-15 13:40:45 +0100
  • ada40dcf34 Merge branch 'main' of github.com:hhu-adam/lean4game Alexander Bentkamp 2022-12-15 12:04:43 +0100
  • 9a4abe6f80 dispose editor Alexander Bentkamp 2022-12-15 12:04:40 +0100
  • bb034c6984 level update Jon Eugster 2022-12-14 21:10:55 +0100
  • cf8aaa0673 improved InfoView Jon Eugster 2022-12-14 20:27:17 +0100
  • 08c6ab897c reliable level completed message Alexander Bentkamp 2022-12-14 16:59:46 +0100