phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
784 Commits 19 Branches 10 Tags
2e121363b3d29a8a8d01d7a6d205e418a160c925
Commit Graph
45 Commits
Author SHA1 Message Date
joneugster 04038a32c8 fix inventory local storage 2023-10-13 15:51:00 +02:00
Alexander Bentkamp 923a6cfb4f delete outdated local storage 2023-10-04 11:19:01 +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 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 8be7f2f17b modify client api to include template 2023-08-25 18:06:26 +02:00
Jon Eugster e23a4bec64 mobile store if game intro has been read 2023-07-29 14:39:36 +02:00
Jon Eugster 1205d83246 lock tactics based on local storage 2023-07-29 00:05:19 +02:00
Jon Eugster 04c19f36cf make downloaded JSON readable 2023-07-24 12:11:31 +02:00
Jon Eugster 5ff7a87696 fix 2023-07-23 21:44:35 +02:00
Jon Eugster 57351025c9 introduce difficulties 2023-07-23 20:13:36 +02:00
Jon Eugster c9a39faa83 add unlocked inventory items to local storage 2023-07-23 14:46:26 +02:00
Jon Eugster 803e261a49 add inventory to start page 2023-07-20 20:24:59 +02:00
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