phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
917 Commits 19 Branches 10 Tags
d689c7ec865dfcd804b478ee526e9cd06cff0c22
Commit Graph
33 Commits
Author SHA1 Message Date
Jon Eugster 5fd49abb90 improve hover text for inventory items #144 2023-12-14 21:05:37 +01:00
Jon Eugster 54bab2a016 add support for images 2023-12-08 00:39:45 +01:00
joneugster 7a03c4fe0d move landing page tiles to the games 2023-12-06 18:21:37 +01:00
Alexander Bentkamp d18b48db2f make json files directly accessible 2023-11-30 20:55:03 +01:00
Alexander Bentkamp bae360874c json api 2023-11-30 10:51:03 +01:00
joneugster 04038a32c8 fix inventory local storage 2023-10-13 15:51:00 +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 803e261a49 add inventory to start page 2023-07-20 20:24:59 +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 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 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
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 ad6f907d17 load number of levels from server 2022-12-20 12:06:35 +01:00
Alexander Bentkamp 32b9d028a7 save state of code 2022-12-14 14:02:57 +01:00