phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
883 Commits 19 Branches 10 Tags
8929813e488af177152c3ce0183b2fff598ae8a5
Commit Graph
390 Commits
Author SHA1 Message Date
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 9d1c5cb512 fix viewport scale 2023-05-04 15:29:13 +02:00
Jon Eugster f17d56d7e5 css landing page 2023-05-04 14:54:43 +02:00
Jon Eugster dd7f1a8e20 landing page 2023-05-03 14:36:39 +02:00
Jon Eugster e0c249c686 fix inventory css 2023-04-28 19:35:36 +02:00
Jon Eugster fd3a543dcd css colour change 2023-04-28 13:13:16 +02:00
Jon Eugster ebcc1df171 add syntax for attr in statements; add new key to computed inventory items. 2023-04-28 12:39:24 +02:00
Jon Eugster fd8c11b3d6 hardcode interface elements in English 2023-04-25 16:28:33 +02:00
Jon Eugster f8ae5795cb client modifications 2023-04-25 14:05:44 +02:00
Jon Eugster f48f639190 nng levels 2023-04-17 14:59:44 +02:00
Jon Eugster 545d20bb5a show statement name in command line mode 2023-04-14 13:49:07 +02:00
Jon Eugster 7644740dc2 css for markdown code 2023-04-14 11:24:43 +02:00
Jon Eugster 66fd600462 removed old OtherGoals section 2023-04-11 11:19:50 +02:00
Jon Eugster a18ad27985 hover titles for inventory 2023-04-11 11:15:02 +02:00
Jon Eugster 60a9c1727b improve command line display 2023-04-05 17:16:30 +02:00
Jon Eugster c8b0ac4e6c css 2023-03-31 17:52:39 +02:00
Jon Eugster 90062a217c do not show empty introductions/conclusions 2023-03-30 18:56:32 +02:00
Jon Eugster 3cbe336ccb add command LemmaTab to specify default tab when loading level 2023-03-30 14:59:07 +02:00
Jon Eugster 9eb0f2543f privacy policy and graph layout 2023-03-28 22:14:41 +02:00
Jon Eugster e7842bce82 fix level links 2023-03-26 14:27:04 +02:00
Alexander Bentkamp bbe38ddc7c rename testgame to adam, part 2 2023-03-23 17:10:44 +01:00
Alexander Bentkamp cbc9576f98 add support for multiple games in redux state 2023-03-23 16:23:06 +01:00
Alexander Bentkamp bf2315b474 remove references to testgame on the server, add gameId to router 2023-03-23 16:23:06 +01:00
Jon Eugster a4623a8241 css 2023-03-23 16:00:11 +01:00
Jon Eugster 0fc992e330 put conclusion text inside info-box for now 2023-03-22 15:48:45 +01:00
Jon Eugster d0b7838564 add display names for definitions and lemmas 2023-03-16 13:23:10 +01:00
Alexander Bentkamp f2eed5fc0c repair command line 2023-03-15 16:55:50 +01:00
Alexander Bentkamp 481f2b5cbb refactor level code 2023-03-10 16:20:02 +01:00
Alexander Bentkamp 35eb6c3ec0 refactor LevelAppBar 2023-03-10 16:11:11 +01:00
Alexander Bentkamp 5dfa7b56ec doc panel 2023-03-10 15:48:22 +01:00
Jon Eugster ff7d8d5f5e sort Inventories 2023-03-07 11:48:58 +01:00
Jon Eugster f6f2d6e1bd Merge branch 'main' of github.com:leanprover-community/lean4game 2023-03-07 11:09:22 +01:00
Jon Eugster 21e98fa81e change titles to german for now 2023-03-07 11:08:50 +01:00
Alexander Bentkamp d71f43b854 hide hidden hints again when goal changes 2023-03-07 09:25:57 +01:00
Alexander Bentkamp 1c3fa815da fix bug: level completed on reload 2023-03-07 08:59:48 +01:00
Jon Eugster 75f356f4b2 Add World introduction and change layout 2023-03-06 18:07:09 +01:00
Jon Eugster 6d67459e08 story for first world 2023-03-06 14:40:39 +01:00
Alexander Bentkamp 1c7169d34a show buttons on level completion 2023-03-06 10:17:41 +01:00
Alexander Bentkamp e8b6770bab display level conclusion 2023-03-06 09:55:39 +01:00
Alexander Bentkamp a42841ba97 small css issues 2023-03-03 16:48:56 +01:00
Alexander Bentkamp a783e1dffc Add tabs for lemmas #23 2023-03-02 12:15:34 +01:00
Alexander Bentkamp a44efef7de add definitions 2023-03-01 17:31:58 +01:00
Jon Eugster 2be1a348ee Merge branch 'main' of github.com:leanprover-community/lean4game 2023-03-01 17:25:42 +01:00
Jon Eugster a18582a5f8 levels 2023-03-01 17:25:10 +01:00
Alexander Bentkamp 9a97b569b5 unify code for tactics and lemmas 2023-03-01 17:14:01 +01:00
Alexander Bentkamp bc7533d18f loading icon for loading goals 2023-02-28 14:37:14 +01:00
Alexander Bentkamp 5921de848d Preload all files in a world #15 2023-02-23 17:11:11 +01:00
Alexander Bentkamp 02ac370a62 Run -> Execute 2023-02-09 15:48:52 +01:00