phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
577 Commits 19 Branches 10 Tags
65f3436e24f7b66f64fbac98535fce29d852972d
Commit Graph
31 Commits
Author SHA1 Message Date
Jon Eugster 65f3436e24 fix payload undefined 2023-07-18 19:08:51 +02:00
Jon Eugster 9a75102121 save help in store 2023-07-18 16:12:24 +02:00
Jon Eugster 5b8c9a2e89 show more help per proof step 2023-07-18 15:25:56 +02:00
Jon Eugster 042bf37f1d comments 2023-07-05 18:05:53 +02:00
Jon Eugster 4039fa9467 currently its working 2023-07-05 18:00:50 +02:00
Jon Eugster 5e728fc21a rename files 2023-07-05 17:34:46 +02:00
Jon Eugster c5f54834ed refactor 2023-07-05 14:54:06 +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
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 ebcc1df171 add syntax for attr in statements; add new key to computed inventory items. 2023-04-28 12:39:24 +02:00
Jon Eugster 545d20bb5a show statement name in command line mode 2023-04-14 13:49:07 +02:00
Jon Eugster 3cbe336ccb add command LemmaTab to specify default tab when loading level 2023-03-30 14:59:07 +02: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 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
Jon Eugster 75f356f4b2 Add World introduction and change layout 2023-03-06 18:07:09 +01:00
Alexander Bentkamp e8b6770bab display level conclusion 2023-03-06 09:55:39 +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
Alexander Bentkamp 116026428f show lemma and tactic docs 2023-02-09 15:34:37 +01:00
Alexander Bentkamp 6e8a47b1a7 lemma inventory 2023-02-09 13:25:52 +01:00
Alexander Bentkamp c628d0eec4 new tactic display 2023-02-09 13:25:52 +01:00
Alexander Bentkamp 719b8d2964 World names 
Closes #7
 2023-01-20 11:36:44 +01:00
Alexander Bentkamp 206152a07c save progress in local storage 2023-01-19 16:10:08 +01:00
Alexander Bentkamp b02d55de34 track completed levels 2023-01-09 17:00:15 +01:00
Alexander Bentkamp ad6f907d17 load number of levels from server 2022-12-20 12:06:35 +01:00
Alexander Bentkamp 9a4abe6f80 dispose editor 2022-12-15 12:04:40 +01:00
Alexander Bentkamp 32b9d028a7 save state of code 2022-12-14 14:02:57 +01:00