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

Commit Graph

  • 593ca10720 cleanup Jon Eugster 2023-08-04 10:29:40 +0200
  • bd8c857539 cleanup level.tsx Jon Eugster 2023-08-02 16:58:30 +0200
  • 25055b017b cleanup world_tree Jon Eugster 2023-08-02 15:35:32 +0200
  • cd6974b687 rename file Jon Eugster 2023-08-02 15:32:07 +0200
  • 61cba63b81 cleanup welcome.tsx Jon Eugster 2023-08-02 15:30:27 +0200
  • e429946046 change nav-bar on desktop Jon Eugster 2023-08-02 11:02:13 +0200
  • 5e4a959c8a move next-level-buttons on mobile Jon Eugster 2023-07-29 16:41:59 +0200
  • 1ce68fe7fe fix end-of-level-buttons for mobile Jon Eugster 2023-07-29 15:01:46 +0200
  • e23a4bec64 mobile store if game intro has been read Jon Eugster 2023-07-29 14:39:36 +0200
  • 7c30d8e8c4 show hints on mobile Jon Eugster 2023-07-29 13:05:04 +0200
  • 3a50b4ab88 toggle inventory on mobile Jon Eugster 2023-07-29 12:29:34 +0200
  • 34009bcc17 remove deprecated comment Jon Eugster 2023-07-29 12:28:54 +0200
  • ee7915a98f first step towards mobile layout Jon Eugster 2023-07-29 11:54:23 +0200
  • 1af343f14e mobile friendly Welcome page Jon Eugster 2023-07-29 03:45:46 +0200
  • ae6ffa7d01 add state for mobile layout Jon Eugster 2023-07-29 02:44:57 +0200
  • e8eff166e1 dropdown menu Jon Eugster 2023-07-29 01:57:49 +0200
  • 493dcee417 difficulty level Jon Eugster 2023-07-29 00:37:19 +0200
  • 1205d83246 lock tactics based on local storage Jon Eugster 2023-07-29 00:05:19 +0200
  • ffc666f5d9 change app.tsx Jon Eugster 2023-07-29 00:04:28 +0200
  • f4fc8ed57c add optional argument checkForbiddenTactics to compileProof Jon Eugster 2023-07-26 11:50:31 +0200
  • ccc244f054 css for commands Jon Eugster 2023-07-24 17:38:18 +0200
  • f2d3c7eb59 css for hidden hint button Jon Eugster 2023-07-24 17:02:06 +0200
  • d66088f872 Merge branch 'dev' of github.com:leanprover-community/lean4game into dev Jon Eugster 2023-07-24 16:28:29 +0200
  • 4f4dcba891 improve world tree scale Jon Eugster 2023-07-24 16:28:23 +0200
  • efb879c50c trim later Alexander Bentkamp 2023-07-24 13:25:50 +0200
  • 04c19f36cf make downloaded JSON readable Jon Eugster 2023-07-24 12:11:31 +0200
  • 491d56a9d6 rename difficulty Jon Eugster 2023-07-23 22:09:06 +0200
  • 5ff7a87696 fix Jon Eugster 2023-07-23 21:44:35 +0200
  • 57351025c9 introduce difficulties Jon Eugster 2023-07-23 20:13:36 +0200
  • 1c99a3da64 rename Path to Dependency Jon Eugster 2023-07-23 17:09:14 +0200
  • 34e18b4f45 improve world tree Jon Eugster 2023-07-23 17:05:35 +0200
  • 58ed29fc17 colorise world-tree dependent of completion of levels Jon Eugster 2023-07-23 16:31:54 +0200
  • c9a39faa83 add unlocked inventory items to local storage Jon Eugster 2023-07-23 14:46:26 +0200
  • 5b86327d01 locked items on welcome clickable Jon Eugster 2023-07-20 20:35:24 +0200
  • 803e261a49 add inventory to start page Jon Eugster 2023-07-20 20:24:59 +0200
  • e8c3b7bce1 messages and comments Jon Eugster 2023-07-20 18:09:45 +0200
  • 6b77653be1 add option lean4game.showDependencyReasons for debugging Jon Eugster 2023-07-20 17:25:46 +0200
  • 6a49783979 adding Path command back in, with new purpose Jon Eugster 2023-07-20 16:49:11 +0200
  • 0f161b39aa fix in findLoop Jon Eugster 2023-07-20 16:47:45 +0200
  • 4e12c749e0 fix findLoops Jon Eugster 2023-07-20 15:56:01 +0200
  • 77ba1cd85e fix panic on missmatching namespaces Jon Eugster 2023-07-19 16:13:17 +0200
  • ef23344b56 bump toolchain Jon Eugster 2023-07-19 14:57:01 +0200
  • d6402fba58 add impressum to noscript Jon Eugster 2023-07-19 14:56:15 +0200
  • 20d7ee66a5 fix MakeGame to include named statements Jon Eugster 2023-07-19 14:29:27 +0200
  • bf17fd892c update text on landing page Jon Eugster 2023-07-19 12:10:35 +0200
  • 1e8315c294 add back button Jon Eugster 2023-07-19 12:10:16 +0200
  • e8ffdf8d7d add impressum Jon Eugster 2023-07-19 02:10:51 +0200
  • 52b42544ac
         Create LICENSE Jon Eugster 2023-07-19 02:10:01 +0200
  • 272c0ddd8c css for introduction panel Jon Eugster 2023-07-19 00:36:22 +0200
  • eb799e1078 fix toggle help in presence of errors Jon Eugster 2023-07-19 00:13:01 +0200
  • fb2f9cc3aa load showHelp on changing level Jon Eugster 2023-07-18 23:38:43 +0200
  • 48b55a9ebc fix "file closed" bug Alexander Bentkamp 2023-07-18 21:50:05 +0200
  • 65f3436e24 fix payload undefined Jon Eugster 2023-07-18 19:08:51 +0200
  • b780c7601f fixes Jon Eugster 2023-07-18 17:57:12 +0200
  • 9a75102121 save help in store Jon Eugster 2023-07-18 16:12:24 +0200
  • 5b8c9a2e89 show more help per proof step Jon Eugster 2023-07-18 15:25:56 +0200
  • e5b957e0ec css Jon Eugster 2023-07-17 01:56:32 +0200
  • 9e541c427d keep deleted chat messages around until command is entered Jon Eugster 2023-07-17 01:40:50 +0200
  • 29adcf6a75 bug fix: no goals Jon Eugster 2023-07-17 00:20:46 +0200
  • 6a849de350 fix merge error Jon Eugster 2023-07-16 23:41:15 +0200
  • f36695ad5c introduction selectable Jon Eugster 2023-07-16 21:16:03 +0200
  • 7568f1dd4a fix some react warnings about non-unique keys Jon Eugster 2023-07-16 21:05:40 +0200
  • 29b056cf05 fix inverted attribute Jon Eugster 2023-07-16 20:19:46 +0200
  • 2fe2fd777d fix available doc items from previous worlds Jon Eugster 2023-07-16 20:13:01 +0200
  • 392d71ee27 swap blocks Jon Eugster 2023-07-16 19:39:57 +0200
  • 8f12aab3b0 scroll if hidden hints are toggled Jon Eugster 2023-07-16 18:54:11 +0200
  • 95480a752d fix loading issue Jon Eugster 2023-07-16 18:51:59 +0200
  • 446a33e5e8 scroll to selected step Jon Eugster 2023-07-16 18:12:17 +0200
  • 0a2c4552bf unlock items of previous worlds Alexander Bentkamp 2023-07-14 19:15:25 +0200
  • d40fd1d6cb selecting hints and proof steps Jon Eugster 2023-07-14 18:14:21 +0200
  • d0316b734a cleanup and scrolling Jon Eugster 2023-07-14 17:07:12 +0200
  • 805b0b94c1 cleanup Jon Eugster 2023-07-14 13:34:57 +0200
  • bd7dc02e70 lots of stuff Jon Eugster 2023-07-13 17:31:58 +0200
  • be039b5de3 display all proof steps in command line modus Jon Eugster 2023-07-12 17:55:29 +0200
  • 3ce83734f4 Merge branch 'dev' of github.com:leanprover-community/lean4game into dev Jon Eugster 2023-07-11 17:04:06 +0200
  • 0f9b0c7b18 stuff Jon Eugster 2023-07-11 17:04:01 +0200
  • bea1790975 remove old loop check Alexander Bentkamp 2023-07-11 13:47:02 +0200
  • 15c2f11788 remove path command Alexander Bentkamp 2023-07-11 13:46:15 +0200
  • ecc469a159 show calculated paths Alexander Bentkamp 2023-07-11 13:42:44 +0200
  • 205c484623 Merge branch 'jon_new_layout' into dev Jon Eugster 2023-07-11 11:58:22 +0200
  • 0d24232685 calculate dependencies Alexander Bentkamp 2023-07-10 15:30:38 +0200
  • 042bf37f1d comments Jon Eugster 2023-07-05 18:05:53 +0200
  • 4039fa9467 currently its working Jon Eugster 2023-07-05 18:00:50 +0200
  • 13c78ba420 . Jon Eugster 2023-07-05 17:40:55 +0200
  • 5e728fc21a rename files Jon Eugster 2023-07-05 17:34:46 +0200
  • c5f54834ed refactor Jon Eugster 2023-07-05 14:54:06 +0200
  • df8fa2933b record used inventory Alexander Bentkamp 2023-06-23 16:33:03 +0200
  • a32baeb8e7 move hints to chat Jon Eugster 2023-06-20 11:39:27 +0200
  • c0b7b7a048 make disabled tactics clickable Jon Eugster 2023-06-20 11:38:05 +0200
  • ba7ccf88c3 move command line to bottom Jon Eugster 2023-06-19 19:24:16 +0200
  • 2fed94a2bb naming Jon Eugster 2023-06-19 16:26:24 +0200
  • e67db092d5 move Interfaces to infoview/main Jon Eugster 2023-06-19 16:24:52 +0200
  • b6bf42b1a6 add hidden hints button Jon Eugster 2023-06-19 16:03:29 +0200
  • 4219afb09d wip on hints Jon Eugster 2023-06-19 15:14:45 +0200
  • 8aa14c5614 split editor mode and command line, part 1 Jon Eugster 2023-06-18 21:15:42 +0200
  • 04b7bb3539 move editor mode toggle Jon Eugster 2023-06-18 09:19:30 +0200
  • 46d0a41f26 move input context Jon Eugster 2023-06-18 09:04:57 +0200
  • c390c6b9ea change inventory sorting Jon Eugster 2023-06-17 12:53:57 +0200
  • e339f00e21 overlay inventory with doc Jon Eugster 2023-06-16 16:29:19 +0200
  • a05361022e create chat panel Jon Eugster 2023-06-16 15:51:36 +0200