phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
610 Commits 19 Branches 10 Tags
ffc666f5d9e47404e838ab46b38ea73c8388b7b5
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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 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
Jon Eugster 95480a752d fix loading issue 2023-07-16 23:01:55 +02:00
Jon Eugster 446a33e5e8 scroll to selected step 2023-07-16 23:01:55 +02:00
Jon Eugster d40fd1d6cb selecting hints and proof steps 2023-07-14 18:14:21 +02:00
Jon Eugster d0316b734a cleanup and scrolling 2023-07-14 17:07:12 +02:00
Jon Eugster 805b0b94c1 cleanup 2023-07-14 13:34:57 +02:00
Jon Eugster bd7dc02e70 lots of stuff 2023-07-13 17:31:58 +02:00
Jon Eugster be039b5de3 display all proof steps in command line modus 2023-07-12 17:55:29 +02:00
Jon Eugster 3ce83734f4 Merge branch 'dev' of github.com:leanprover-community/lean4game into dev 2023-07-11 17:04:06 +02:00
Jon Eugster 0f9b0c7b18 stuff 2023-07-11 17:04:01 +02:00
Jon Eugster 205c484623 Merge branch 'jon_new_layout' into dev 2023-07-11 11:58:22 +02:00
Jon Eugster 042bf37f1d comments 2023-07-05 18:05:53 +02:00
Jon Eugster 4039fa9467 currently its working 2023-07-05 18:00:50 +02:00
Jon Eugster 13c78ba420 . 2023-07-05 17:40:55 +02:00
Jon Eugster 5e728fc21a rename files 2023-07-05 17:34:46 +02:00
Jon Eugster c5f54834ed refactor 2023-07-05 14:54:06 +02:00
Jon Eugster a32baeb8e7 move hints to chat 2023-06-20 11:39:27 +02:00
Jon Eugster c0b7b7a048 make disabled tactics clickable 2023-06-20 11:38:05 +02:00
Jon Eugster ba7ccf88c3 move command line to bottom 2023-06-19 19:24:16 +02:00
Jon Eugster 2fed94a2bb naming 2023-06-19 16:26:24 +02:00
Jon Eugster e67db092d5 move Interfaces to infoview/main 2023-06-19 16:24:52 +02:00
Jon Eugster b6bf42b1a6 add hidden hints button 2023-06-19 16:03:29 +02:00
Jon Eugster 4219afb09d wip on hints 2023-06-19 15:14:45 +02:00
Jon Eugster 8aa14c5614 split editor mode and command line, part 1 2023-06-18 21:15:42 +02:00
Jon Eugster 04b7bb3539 move editor mode toggle 2023-06-18 09:19:30 +02:00
Jon Eugster 46d0a41f26 move input context 2023-06-18 09:04:57 +02:00
Jon Eugster c390c6b9ea change inventory sorting 2023-06-17 12:53:57 +02:00
Jon Eugster e339f00e21 overlay inventory with doc 2023-06-16 16:29:19 +02:00
Jon Eugster a05361022e create chat panel 2023-06-16 15:51:36 +02:00
Jon Eugster 58308f9391 update installation instruction 2023-06-16 13:56:58 +02:00
Jon Eugster 73ca0f4d95 fix Statement inside a namespace 2023-05-26 17:10:10 +02:00
Jon Eugster 2c2c6a0c5e Merge pull request #79 from leanprover-community/automatic_inventory_doc 
add automatic inventory doc
 2023-05-26 16:02:02 +02:00
Jon Eugster 047d75e74d add function to retrieve tactic docstring 2023-05-24 15:25:55 +02:00
Jon Eugster 3bf5c5e5e8 rename and tidy up 2023-05-22 21:20:24 +02:00
Jon Eugster fbf0f55968 reorganisational draft 2023-05-22 20:30:58 +02:00
Jon Eugster 60876b4a77 move Doc class 2023-05-19 13:03:23 +02:00
Jon Eugster d753d1d873 docstrings 2023-05-19 13:01:58 +02:00
Jon Eugster 98597c1522 Merge branch 'main' of github.com:leanprover-community/lean4game 2023-05-15 17:59:22 +02:00
Jon Eugster 1b0e4a6a81 make command optional 2023-05-15 17:58:59 +02:00
Jon Eugster 13233710e9 modified inventory doc requirement 2023-05-15 15:12:44 +02:00
Jon Eugster c0785c5370 update .gitignore 2023-05-15 15:12:44 +02:00
Jon Eugster e86a460eb9 remove deprecated UPDATE_LEAN.sh 2023-05-15 15:12:44 +02:00
Jon Eugster de163a19c9 turn missing doc error into warning 2023-05-15 15:12:44 +02:00
Jon Eugster b6052a7e89 docker repository must be lowercase 2023-05-13 15:25:04 +02:00
Jon Eugster 572be60c65 Merge branch 'main' of github.com:leanprover-community/lean4game 2023-05-13 15:21:13 +02:00
Jon Eugster c6e224dc40 add Hole and Template skeleton 2023-05-12 16:02:36 +02:00
Jon Eugster 2a81c67675 landing page css and text 2023-05-09 12:01:27 +02:00
Jon Eugster ab0cb5ba3d complete upload and download functionality 2023-05-08 17:49:56 +02:00
Jon Eugster a52f10ab11 add menu to delete game progress 2023-05-08 13:07:14 +02:00
Jon Eugster b703752f3a css and typo 2023-05-04 19:30:53 +02:00
Jon Eugster 6582d4e625 update css 2023-05-04 17:34:57 +02:00
Jon Eugster 048f3a8c0e change colour of github icon 2023-05-04 16:14:21 +02:00
Jon Eugster 7929fb2dfe add_log_messages 
add log messages
 2023-05-04 16:11:00 +02:00
Jon Eugster 7c65025598 add-imports 2023-05-04 16:09:44 +02:00
Jon Eugster 93b02883b3 typo 2023-05-04 16:05:14 +02:00
Jon Eugster c4e63687c0 add log messages 2023-05-04 16:03:16 +02:00