phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
976 Commits 19 Branches 10 Tags
19d2ea363a36a41ad4172315615cbf7a3faac578
Commit Graph
420 Commits
Author SHA1 Message Date
joneugster d66546a7f1 fix empty typewriter containing two lines 2023-10-15 03:16:27 +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 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
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 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
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 8db364748b fix data undefined issue 2023-10-02 22:23:55 +02:00
Alexander Bentkamp 5c919fb983 Add NewHiddenTactic command 
Fixes #109
 2023-10-02 12:50:19 +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
Jon Eugster b01dd1de6e stuff 2023-09-10 16:15:41 +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 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 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 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 735f58be95 small improvements to the client 2023-08-11 18:25:52 +02:00
Jon Eugster 5072dacf94 fix new items in inventory 2023-08-04 18:37:47 +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