phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
715 Commits 19 Branches 10 Tags
ca58cb0e78ac5bcbd2b552567f6e098b97abc603
Commit Graph
715 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
joneugster ca58cb0e78 typo 2023-10-18 14:56:53 +02:00
joneugster ec96f2c80e bump lean-toolchain 2023-10-18 14:53:42 +02:00
joneugster cafe74a22b add file 2023-10-18 14:49:30 +02:00
joneugster cc4321ff3f Turn some logInfo into trace[debug] to toggle the off for building 2023-10-17 16:01:39 +02:00
joneugster 19592668ae documentation 2023-10-17 02:06:32 +02:00
joneugster 556c072cef NewLemma checks if specified theorem exists and searches for docstrings 2023-10-17 02:05:17 +02:00
joneugster bb0ba83f18 load arbitrary games with tags g/local/FolderName 2023-10-16 21:24:50 +02:00
joneugster 0c65a2e4f1 reorganise popups 2023-10-16 15:20:00 +02:00
joneugster 06aa5d5339 help button explaining Game Rules 2023-10-16 14:59:55 +02:00
joneugster 63a0d8d5f0 typo 2023-10-16 04:30:44 +02:00
joneugster d66546a7f1 fix empty typewriter containing two lines 2023-10-15 03:16:27 +02:00
joneugster caee7195db lean4game.verbose option 2023-10-15 03:15:02 +02:00
joneugster 2b5c42a3c5 insert template when editor empty 2023-10-14 14:53:19 +02:00
joneugster 4ca570e232 landing page html 2023-10-14 14:24:39 +02:00
joneugster ae5413f82e improve world tree 2023-10-13 22:58:08 +02:00
joneugster 60069191dd update doc 2023-10-13 22:57:42 +02:00
joneugster 9cd44911a4 strip newlines when switching to typewriter 2023-10-13 15:51:00 +02:00
joneugster 047c5ae268 force editor mode if template present 2023-10-13 15:51:00 +02:00
joneugster 04038a32c8 fix inventory local storage 2023-10-13 15:51:00 +02:00
Jon Eugster 6970f10e30 Merge pull request #116 from leanprover-community/eugster/level-error-msg 
fix: show error on duplicated level number
 2023-10-10 10:07:26 +02:00
joneugster 165c0e176a typo 2023-10-09 14:29:49 +02:00
joneugster 7563963c34 npm update and landing page update 2023-10-09 12:29:16 +02:00
Jon Eugster 7016173f53 tweak world tree 2023-10-09 11:23:54 +02:00
Jon Eugster 6ce5131c63 open-book icon for closing inventory button on mobile #89 2023-10-09 11:23:50 +02:00
Jon Eugster 0b1fe3baf1 Update DOCUMENTATION.md #111 2023-10-09 11:23:47 +02:00
Jon Eugster b2936e0200 show typewriter input as disabled if non-primary goal is selected 2023-10-09 11:23:43 +02:00
Jon Eugster 24eed37f89 split intro text consistently into bubbles #100 2023-10-09 11:23:40 +02:00
Jon Eugster 3a3471c615 throw error in regular difficulty if tactic not unlocked 2023-10-09 11:23:37 +02:00
Jon Eugster 8730c2067c uniform impressum everywhere #96 2023-10-09 11:23:34 +02:00
Jon Eugster 5257865b47 highlight only goals without command #115 2023-10-09 11:23:32 +02:00
Jon Eugster 9689b8ca53 rename filename to typewriter 2023-10-09 11:23:29 +02:00
Jon Eugster 7b26280ae9 rename commandline to typewriter #107 2023-10-09 11:23:26 +02:00
Jon Eugster c3a36e2cf3 change name from lemma to theorem #108 2023-10-09 11:23:12 +02:00
Jon 6e046d72b6 show error on duplicated level number 2023-10-07 21:03:44 +02:00
Alexander Bentkamp 923a6cfb4f delete outdated local storage 2023-10-04 11:19:01 +02:00
Alexander Bentkamp 2254f594fa repair tooltips 2023-10-03 10:56:09 +02:00
Alexander Bentkamp 972213ec69 hide hidden items everywhere 2023-10-03 10:17:16 +02:00
Alexander Bentkamp c59444aab5 add notes 2023-10-02 22:24:04 +02:00
Alexander Bentkamp 8db364748b fix data undefined issue 2023-10-02 22:23:55 +02:00
Alexander Bentkamp a423681150 fix hidden items 2023-10-02 20:23:13 +02:00
Alexander Bentkamp a445635a99 remove some vulnerable dependencies 2023-10-02 16:56:10 +02:00
Alexander Bentkamp 5c919fb983 Add NewHiddenTactic command 
Fixes #109
 2023-10-02 12:50:19 +02:00
Alexander Bentkamp 1d49535fcf remove docstring warning if TacticDoc is provided 
Fixes https://github.com/hhu-adam/NNG4/issues/21
 2023-09-25 15:09:32 +02:00
Jon Eugster c50517b5e6 clicking on level 1 opens the introduction 2023-09-21 17:39:09 +02:00
Alexander Bentkamp f70aab29ed close level immediately when leaving it 2023-09-12 11:15:09 +02:00
Alexander Bentkamp a7dab88747 remove old debug code 2023-09-12 10:14:01 +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