phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
672 Commits 19 Branches 10 Tags
c50517b5e6d411d1b7947df8505326b8d70fcb5b
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Jon Eugster c50517b5e6 clicking on level 1 opens the introduction 2023-09-21 17:39:09 +02:00
Jon Eugster ade2074598 remove unecessary stuff 2023-09-10 21:06:31 +02:00
Jon Eugster b01dd1de6e stuff 2023-09-10 16:15:41 +02:00
Jon Eugster 87cb299b1f bump lean 2023-09-10 14:39:55 +02:00
Jon Eugster 37f2d50e77 add LEAN4GAME_SINGLE_GAME env variable 2023-09-10 14:39:30 +02:00
Jon Eugster 98ea870a43 small fixes 2023-09-01 20:09:49 +02:00
Jon Eugster 22f0bac569 fix 2023-09-01 13:44:58 +02:00
Jon Eugster 9c6ed17113 coulour introduction texts #100 2023-09-01 13:04:22 +02:00
Jon Eugster 4d4d2a59e7 uniform layout for world introduction #94 2023-09-01 12:35:09 +02:00
Jon Eugster 6371f77379 satisfy unused variable linter 2023-09-01 12:11:49 +02:00
Jon Eugster 73b80e714d improve welcome page 2023-09-01 11:52:11 +02:00
Jon Eugster db5cfbc433 new design for welcome page #96 2023-08-31 18:15:15 +02:00
Jon Eugster 42eaedda70 css for loading circle 2023-08-31 14:48:57 +02:00
Jon Eugster 6437013479 bump lean-toolchain 
bump toolchain
 2023-08-31 13:38:11 +02:00
Jon Eugster 2bc0bb22f3 world size varies with number of levels #95 2023-08-30 17:34:05 +02:00
Jon Eugster 714634fe5a bug where commandline would be hidden 2023-08-30 17:31:49 +02:00
Jon Eugster d7fdd95cab uniform design of toggle buttons #89 2023-08-29 10:15:00 +02:00
Jon Eugster c738695e81 spacing around proof step #92 2023-08-28 12:37:11 +02:00
Jon Eugster eb8fa91319 style old goal states #93 2023-08-28 12:24:05 +02:00
Jon Eugster 88860d277d rename game modes #97 2023-08-28 11:40:01 +02:00
Jon Eugster 50ec616b8e automate lemmaTab #88 2023-08-28 11:33:01 +02:00
Jon Eugster 764ed558e7 move exercise statement #91 2023-08-28 11:16:55 +02:00
Jon Eugster 8be7f2f17b modify client api to include template 2023-08-25 18:06:26 +02:00
Jon Eugster b6ea453084 add Template server-side 2023-08-25 18:04:10 +02:00
Jon Eugster 25f2f08309 fix inventory overview 2023-08-12 12:50:26 +02:00
Jon Eugster 70d30d1212 fix panics due to HashMap.find! 2023-08-12 12:17:22 +02:00
Jon Eugster 735f58be95 small improvements to the client 2023-08-11 18:25:52 +02:00
Jon Eugster adb93e30bd update documentation 2023-08-07 12:54:22 +02:00
Jon Eugster 0b14489911 use docComment for statement description 2023-08-07 01:16:02 +02:00
Jon Eugster 9ef4122e94 add allowed keywords 'by' and 'to' 2023-08-06 23:59:04 +02:00
Jon Eugster cd0417dc36 bump toolchain 2023-08-06 23:59:04 +02:00
Jon Eugster de1bdc1d20 Merge pull request #83 from alexjbest/attr 
add attributes and docstring to `Statement`
 2023-08-06 23:58:22 +02:00
Jon Eugster a00edfa884 Update DOCUMENTATION.md 2023-08-06 19:33:28 +02:00
Jon Eugster 5072dacf94 fix new items in inventory 2023-08-04 18:37:47 +02:00
Jon Eugster f5eb185eb2 Merge branch 'dev' 2023-08-04 10:30:06 +02:00
Jon Eugster 8cbe9f0ba8 documentation 2023-08-04 10:29:46 +02:00
Jon Eugster 593ca10720 cleanup 2023-08-04 10:29:40 +02:00
Jon Eugster bd8c857539 cleanup level.tsx 2023-08-02 16:58:30 +02:00
Jon Eugster 25055b017b cleanup world_tree 2023-08-02 15:35:32 +02:00
Jon Eugster cd6974b687 rename file 2023-08-02 15:32:07 +02:00
Jon Eugster 61cba63b81 cleanup welcome.tsx 2023-08-02 15:30:27 +02:00
Jon Eugster e429946046 change nav-bar on desktop 2023-08-02 11:02:13 +02:00
Jon Eugster 5e4a959c8a move next-level-buttons on mobile 2023-07-29 16:41:59 +02:00
Jon Eugster 1ce68fe7fe fix end-of-level-buttons for mobile 2023-07-29 15:01:46 +02:00
Jon Eugster e23a4bec64 mobile store if game intro has been read 2023-07-29 14:39:36 +02:00
Jon Eugster 7c30d8e8c4 show hints on mobile 2023-07-29 13:05:04 +02:00
Jon Eugster 3a50b4ab88 toggle inventory on mobile 2023-07-29 12:29:34 +02:00
Jon Eugster 34009bcc17 remove deprecated comment 2023-07-29 12:28:54 +02:00
Jon Eugster ee7915a98f first step towards mobile layout 2023-07-29 11:54:23 +02:00
Jon Eugster 1af343f14e mobile friendly Welcome page 2023-07-29 03:45:46 +02:00
Jon Eugster ae6ffa7d01 add state for mobile layout 2023-07-29 02:44:57 +02:00
Jon Eugster e8eff166e1 dropdown menu 2023-07-29 01:57:49 +02:00
Jon Eugster 493dcee417 difficulty level 2023-07-29 00:37:19 +02:00
Jon Eugster 1205d83246 lock tactics based on local storage 2023-07-29 00:05:19 +02:00
Jon Eugster ffc666f5d9 change app.tsx 2023-07-29 00:04:28 +02:00
Jon Eugster f4fc8ed57c add optional argument checkForbiddenTactics to compileProof 2023-07-26 11:50:31 +02:00
Jon Eugster ccc244f054 css for commands 2023-07-24 17:38:18 +02:00
Jon Eugster f2d3c7eb59 css for hidden hint button 2023-07-24 17:02:06 +02:00
Jon Eugster d66088f872 Merge branch 'dev' of github.com:leanprover-community/lean4game into dev 2023-07-24 16:28:29 +02:00
Jon Eugster 4f4dcba891 improve world tree scale 2023-07-24 16:28:23 +02:00
Jon Eugster 04c19f36cf make downloaded JSON readable 2023-07-24 12:11:31 +02:00
Jon Eugster 491d56a9d6 rename difficulty 2023-07-23 22:09:06 +02:00
Jon Eugster 5ff7a87696 fix 2023-07-23 21:44:35 +02:00
Jon Eugster 57351025c9 introduce difficulties 2023-07-23 20:13:36 +02:00
Jon Eugster 1c99a3da64 rename Path to Dependency 2023-07-23 17:09:14 +02:00
Jon Eugster 34e18b4f45 improve world tree 2023-07-23 17:05:35 +02:00
Jon Eugster 58ed29fc17 colorise world-tree dependent of completion of levels 2023-07-23 16:31:54 +02:00
Jon Eugster c9a39faa83 add unlocked inventory items to local storage 2023-07-23 14:46:26 +02:00
Jon Eugster 5b86327d01 locked items on welcome clickable 2023-07-20 20:35:24 +02:00
Jon Eugster 803e261a49 add inventory to start page 2023-07-20 20:24:59 +02:00
Jon Eugster e8c3b7bce1 messages and comments 2023-07-20 18:09:45 +02:00
Jon Eugster 6b77653be1 add option lean4game.showDependencyReasons for debugging 2023-07-20 17:25:46 +02:00
Jon Eugster 6a49783979 adding Path command back in, with new purpose 2023-07-20 16:49:11 +02:00
Jon Eugster 0f161b39aa fix in findLoop 2023-07-20 16:47:45 +02:00
Jon Eugster 4e12c749e0 fix findLoops 2023-07-20 15:56:01 +02:00
Jon Eugster 77ba1cd85e fix panic on missmatching namespaces 2023-07-19 16:13:17 +02:00
Jon Eugster ef23344b56 bump toolchain 2023-07-19 14:57:01 +02:00
Jon Eugster d6402fba58 add impressum to noscript 2023-07-19 14:56:15 +02:00
Jon Eugster 20d7ee66a5 fix MakeGame to include named statements 2023-07-19 14:29:27 +02:00
Jon Eugster bf17fd892c update text on landing page 2023-07-19 12:10:35 +02:00
Jon Eugster 1e8315c294 add back button 2023-07-19 12:10:16 +02:00
Jon Eugster e8ffdf8d7d add impressum 2023-07-19 02:10:51 +02:00
Jon Eugster 52b42544ac Create LICENSE 2023-07-19 02:10:01 +02:00
Jon Eugster 272c0ddd8c css for introduction panel 2023-07-19 00:36:22 +02:00
Jon Eugster eb799e1078 fix toggle help in presence of errors 2023-07-19 00:13:01 +02:00
Jon Eugster fb2f9cc3aa load showHelp on changing level 2023-07-18 23:38:43 +02:00
Jon Eugster 65f3436e24 fix payload undefined 2023-07-18 19:08:51 +02:00
Jon Eugster b780c7601f fixes 2023-07-18 17:57:12 +02:00
Jon Eugster 9a75102121 save help in store 2023-07-18 16:12:24 +02:00
Jon Eugster 5b8c9a2e89 show more help per proof step 2023-07-18 15:25:56 +02:00
Jon Eugster e5b957e0ec css 2023-07-17 01:56:32 +02:00
Jon Eugster 9e541c427d keep deleted chat messages around until command is entered 2023-07-17 01:40:50 +02:00
Jon Eugster 29adcf6a75 bug fix: no goals 2023-07-17 00:20:46 +02:00
Jon Eugster 6a849de350 fix merge error 2023-07-16 23:41:15 +02:00
Jon Eugster f36695ad5c introduction selectable 2023-07-16 23:09:32 +02:00
Jon Eugster 7568f1dd4a fix some react warnings about non-unique keys 2023-07-16 23:09:32 +02:00
Jon Eugster 29b056cf05 fix inverted attribute 2023-07-16 23:09:32 +02:00
Jon Eugster 2fe2fd777d fix available doc items from previous worlds 2023-07-16 23:09:30 +02:00
Jon Eugster 392d71ee27 swap blocks 2023-07-16 23:01:55 +02:00
Jon Eugster 8f12aab3b0 scroll if hidden hints are toggled 2023-07-16 23:01:55 +02:00