phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
535 Commits 19 Branches 10 Tags
8aa14c561484d8412eb07d95e11717f606f6b2f5
Commit Graph
203 Commits
Author SHA1 Message Date
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 2c2c6a0c5e Merge pull request #79 from leanprover-community/automatic_inventory_doc 
add automatic inventory doc
 2023-05-26 16:02:02 +02:00
Alexander Bentkamp 2402c2a515 add forward to keep old address alive 2023-05-25 11:47:38 +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
Alexander Bentkamp e9a434e26c remove landing page html file 2023-05-10 15:50:22 +02:00
Alexander Bentkamp 9ba5acef4d support arbitrary docker containers as games 2023-05-10 11:44:25 +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 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