Commit Graph

Select branches

Hide Pull Requests

add_game_knights

better-timeout

bump_v4.8.0

check_upload_size

cleanup_stuff

dev

joneugster-patch-1

joneugster-patch-1-1

main

mobile-option

nowatchdog

server_capacity

stats

ubuntu-test

v4.5.0-bump

v4.6.0-bump

wasm

wasm2

world_overviews

#116

#118

#120

#129

#129

#132

#139

#139

#153

#159

#166

#167

#168

#181

#182

#184

#185

#186

#203

#204

#205

#206

#220

#224

#234

#236

#244

#248

#250

#251

#251

#253

#259

#260

#261

#262

#262

#266

#266

#267

#268

#269

#274

#274

#279

#279

#280

#281

#283

#285

#285

#287

#288

#288

#43

#53

#54

#68

#79

#83

#99

v4.1.0

v4.2.0

v4.3.0

v4.3.0-rc2

v4.4.0

v4.4.0-rc1

v4.5.0

v4.6.0

v4.6.1

v4.7.0

Mono Color

• 4ca570e232 landing page html joneugster 2023-10-14 14:24:39 +02:00
• ae5413f82e improve world tree joneugster 2023-10-13 22:58:08 +02:00
• 60069191dd update doc joneugster 2023-10-13 22:57:42 +02:00
• 9cd44911a4 strip newlines when switching to typewriter joneugster 2023-10-13 15:50:38 +02:00
• 047c5ae268 force editor mode if template present joneugster 2023-10-10 12:07:04 +02:00
• 04038a32c8 fix inventory local storage joneugster 2023-10-09 23:25:28 +02:00
• 6970f10e30 Merge pull request #116 from leanprover-community/eugster/level-error-msg Jon Eugster 2023-10-10 10:07:26 +02:00
• 165c0e176a typo joneugster 2023-10-09 14:29:49 +02:00
• 7563963c34 npm update and landing page update joneugster 2023-10-09 12:29:16 +02:00
• 7016173f53 tweak world tree Jon Eugster 2023-10-09 11:20:11 +02:00
• 6ce5131c63 open-book icon for closing inventory button on mobile #89 Jon Eugster 2023-10-09 10:41:56 +02:00
• 0b1fe3baf1 Update DOCUMENTATION.md #111 Jon Eugster 2023-10-08 13:03:19 +02:00
• b2936e0200 show typewriter input as disabled if non-primary goal is selected Jon Eugster 2023-10-08 01:54:46 +02:00
• 24eed37f89 split intro text consistently into bubbles #100 Jon Eugster 2023-10-08 00:46:03 +02:00
• 3a3471c615 throw error in regular difficulty if tactic not unlocked Jon Eugster 2023-10-08 00:24:11 +02:00
• 8730c2067c uniform impressum everywhere #96 Jon Eugster 2023-10-07 23:31:26 +02:00
• 5257865b47 highlight only goals without command #115 Jon Eugster 2023-10-07 22:49:37 +02:00
• 9689b8ca53 rename filename to typewriter Jon Eugster 2023-10-07 22:14:07 +02:00
• 7b26280ae9 rename commandline to typewriter #107 Jon Eugster 2023-10-07 22:07:02 +02:00
• c3a36e2cf3 change name from lemma to theorem #108 Jon Eugster 2023-10-07 21:23:23 +02:00
• 6e046d72b6 show error on duplicated level number #116 Jon 2023-10-07 21:03:44 +02:00
• 78ef3e0755 test ubuntu-20.04 ubuntu-test Alexander Bentkamp 2023-10-04 13:40:26 +02:00
• 923a6cfb4f delete outdated local storage Alexander Bentkamp 2023-10-04 11:19:01 +02:00
• 2254f594fa repair tooltips Alexander Bentkamp 2023-10-03 10:56:09 +02:00
• 972213ec69 hide hidden items everywhere Alexander Bentkamp 2023-10-03 10:17:16 +02:00
• c59444aab5 add notes Alexander Bentkamp 2023-10-02 22:24:04 +02:00
• 8db364748b fix data undefined issue Alexander Bentkamp 2023-10-02 22:23:55 +02:00
• a423681150 fix hidden items Alexander Bentkamp 2023-10-02 20:23:13 +02:00
• a445635a99 remove some vulnerable dependencies Alexander Bentkamp 2023-10-02 16:56:10 +02:00
• 5c919fb983 Add NewHiddenTactic command Alexander Bentkamp 2023-10-02 12:50:19 +02:00
• 1d49535fcf remove docstring warning if TacticDoc is provided Alexander Bentkamp 2023-09-25 15:09:32 +02:00
• c50517b5e6 clicking on level 1 opens the introduction Jon Eugster 2023-09-21 17:39:09 +02:00
• f70aab29ed close level immediately when leaving it Alexander Bentkamp 2023-09-12 11:15:09 +02:00
• a7dab88747 remove old debug code Alexander Bentkamp 2023-09-12 10:14:01 +02:00
• ade2074598 remove unecessary stuff Jon Eugster 2023-09-10 21:06:31 +02:00
• b01dd1de6e stuff Jon Eugster 2023-09-10 16:15:41 +02:00
• 87cb299b1f bump lean Jon Eugster 2023-09-10 14:39:55 +02:00
• 37f2d50e77 add LEAN4GAME_SINGLE_GAME env variable Jon Eugster 2023-09-10 14:39:30 +02:00
• 98ea870a43 small fixes Jon Eugster 2023-09-01 20:09:49 +02:00
• 22f0bac569 fix Jon Eugster 2023-09-01 13:44:58 +02:00
• 9c6ed17113 coulour introduction texts #100 Jon Eugster 2023-09-01 13:04:22 +02:00
• 4d4d2a59e7 uniform layout for world introduction #94 Jon Eugster 2023-09-01 12:35:09 +02:00
• 6371f77379 satisfy unused variable linter Jon Eugster 2023-09-01 12:11:49 +02:00
• 73b80e714d improve welcome page Jon Eugster 2023-09-01 11:52:11 +02:00
• db5cfbc433 new design for welcome page #96 Jon Eugster 2023-08-31 18:15:15 +02:00
• 42eaedda70 css for loading circle Jon Eugster 2023-08-31 14:48:57 +02:00
• 6437013479 bump lean-toolchain Jon Eugster 2023-08-31 13:38:11 +02:00
• a26736aff8 bump toolchain #99 Scott Morrison 2023-08-31 14:49:36 +10:00
• 2bc0bb22f3 world size varies with number of levels #95 Jon Eugster 2023-08-30 17:34:05 +02:00
• 714634fe5a bug where commandline would be hidden Jon Eugster 2023-08-30 17:31:49 +02:00
• d7fdd95cab uniform design of toggle buttons #89 Jon Eugster 2023-08-29 10:15:00 +02:00
• c738695e81 spacing around proof step #92 Jon Eugster 2023-08-28 12:37:11 +02:00
• eb8fa91319 style old goal states #93 Jon Eugster 2023-08-28 12:24:05 +02:00
• 88860d277d rename game modes #97 Jon Eugster 2023-08-28 11:40:01 +02:00
• 50ec616b8e automate lemmaTab #88 Jon Eugster 2023-08-28 11:33:01 +02:00
• 764ed558e7 move exercise statement #91 Jon Eugster 2023-08-28 11:16:55 +02:00
• 8be7f2f17b modify client api to include template Jon Eugster 2023-08-25 18:06:26 +02:00
• b6ea453084 add Template server-side Jon Eugster 2023-08-25 18:04:10 +02:00
• 25f2f08309 fix inventory overview Jon Eugster 2023-08-12 12:50:26 +02:00
• 70d30d1212 fix panics due to HashMap.find! Jon Eugster 2023-08-12 12:17:22 +02:00
• 735f58be95 small improvements to the client Jon Eugster 2023-08-11 18:25:41 +02:00
• d00a2337d4 elan home dynamically Alexander Bentkamp 2023-08-09 15:23:10 +02:00
• dc144d1979 use bubblewrap Alexander Bentkamp 2023-08-09 14:33:38 +02:00
• adb93e30bd update documentation Jon Eugster 2023-08-07 12:54:22 +02:00
• 0b14489911 use docComment for statement description Jon Eugster 2023-08-07 01:16:02 +02:00
• 9ef4122e94 add allowed keywords 'by' and 'to' Jon Eugster 2023-08-06 23:52:11 +02:00
• cd0417dc36 bump toolchain Jon Eugster 2023-08-06 23:51:32 +02:00
• de1bdc1d20 Merge pull request #83 from alexjbest/attr Jon Eugster 2023-08-06 23:58:22 +02:00
• a00edfa884 Update DOCUMENTATION.md Jon Eugster 2023-08-06 19:33:28 +02:00
• 88e9ee7155 better #83 Alex J. Best 2023-08-04 17:56:16 +01:00
• 5072dacf94 fix new items in inventory Jon Eugster 2023-08-04 18:37:47 +02:00
• 65ed45fe16 add attributes Alex J. Best 2023-08-04 16:56:36 +01:00
• f5eb185eb2 Merge branch 'dev' Jon Eugster 2023-08-04 10:30:06 +02:00
• 8cbe9f0ba8 documentation Jon Eugster 2023-08-04 10:29:46 +02:00
• 593ca10720 cleanup Jon Eugster 2023-08-04 10:29:40 +02:00
• bd8c857539 cleanup level.tsx Jon Eugster 2023-08-02 16:58:30 +02:00
• 25055b017b cleanup world_tree Jon Eugster 2023-08-02 15:35:32 +02:00
• cd6974b687 rename file Jon Eugster 2023-08-02 15:32:07 +02:00
• 61cba63b81 cleanup welcome.tsx Jon Eugster 2023-08-02 15:30:27 +02:00
• e429946046 change nav-bar on desktop Jon Eugster 2023-08-02 11:02:13 +02:00
• 5e4a959c8a move next-level-buttons on mobile Jon Eugster 2023-07-29 16:41:59 +02:00
• 1ce68fe7fe fix end-of-level-buttons for mobile Jon Eugster 2023-07-29 15:01:46 +02:00
• e23a4bec64 mobile store if game intro has been read Jon Eugster 2023-07-29 14:39:36 +02:00
• 7c30d8e8c4 show hints on mobile Jon Eugster 2023-07-29 13:05:04 +02:00
• 3a50b4ab88 toggle inventory on mobile Jon Eugster 2023-07-29 12:29:34 +02:00
• 34009bcc17 remove deprecated comment Jon Eugster 2023-07-29 12:28:54 +02:00
• ee7915a98f first step towards mobile layout Jon Eugster 2023-07-29 11:54:23 +02:00
• 1af343f14e mobile friendly Welcome page Jon Eugster 2023-07-29 03:45:46 +02:00
• ae6ffa7d01 add state for mobile layout Jon Eugster 2023-07-29 02:44:57 +02:00
• e8eff166e1 dropdown menu Jon Eugster 2023-07-29 01:57:49 +02:00
• 493dcee417 difficulty level Jon Eugster 2023-07-29 00:37:19 +02:00
• 1205d83246 lock tactics based on local storage Jon Eugster 2023-07-29 00:05:19 +02:00
• ffc666f5d9 change app.tsx Jon Eugster 2023-07-29 00:04:28 +02:00
• f4fc8ed57c add optional argument checkForbiddenTactics to compileProof Jon Eugster 2023-07-26 11:50:31 +02:00
• ccc244f054 css for commands Jon Eugster 2023-07-24 17:38:18 +02:00
• f2d3c7eb59 css for hidden hint button Jon Eugster 2023-07-24 17:02:06 +02:00
• d66088f872 Merge branch 'dev' of github.com:leanprover-community/lean4game into dev Jon Eugster 2023-07-24 16:28:29 +02:00
• 4f4dcba891 improve world tree scale Jon Eugster 2023-07-24 16:28:23 +02:00
• efb879c50c trim later Alexander Bentkamp 2023-07-24 13:25:50 +02:00
• 04c19f36cf make downloaded JSON readable Jon Eugster 2023-07-24 12:11:31 +02:00