phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
948 Commits 19 Branches 10 Tags
68f84a3426684914f834342854bf4963ba2d8d57
Commit Graph
467 Commits
Author SHA1 Message Date
Jon Eugster 217f86ce5e fix allowed keywords that are not tactics 2024-02-29 15:12:33 +01:00
Jon Eugster dd60093dfc bump i18n again 2024-02-29 12:03:48 +01:00
Jon Eugster 85347a54d9 bump i18n 2024-02-29 11:40:30 +01:00
Jon Eugster 3b4afd6e0e update i18n dependency 2024-02-29 11:24:40 +01:00
Jon Eugster f72ebdf050 bump to v4.6.0 2024-02-29 10:54:37 +01:00
Jon Eugster af8463ca5d fixes for v4.6.0-rc1 2024-02-29 10:34:24 +01:00
Jon Eugster d0a444205a bump to v4.6.0-rc1 2024-02-29 10:34:24 +01:00
Jon Eugster a75a4a81ac add i18n dependency (#179) 2024-02-29 01:08:51 +01:00
Jon Eugster 2b85386373 move Hint tactic back 2024-02-16 18:20:36 +01:00
Jon Eugster 8008b68fd6 cleanup code surrounding hints 2024-02-16 18:09:01 +01:00
Jon Eugster 2649f985fa plug-in variables in hints client-side 2024-02-16 16:50:10 +01:00
Jon Eugster 780514e45a fix: allow theorems from inventory #191 2024-02-14 18:22:01 +01:00
Jon Eugster 19f2ceface fix indent 2024-02-14 16:45:32 +01:00
Jon Eugster 800d1f3308 drop importGraph dependency in server 2024-02-14 15:03:12 +01:00
Jon Eugster 538f74004c allow for empty lines in editor 2024-02-07 12:50:39 +01:00
Jon Eugster 6472ef5b31 First big junk of communication refactor 2024-02-07 12:50:39 +01:00
Jon Eugster 72ffab5b46 cleanup InteractiveGoal 2024-02-07 12:50:39 +01:00
Jon Eugster ebb8c98145 bump to v4.5.0 2024-02-02 12:43:58 +01:00
Jon Eugster 4abf05b77e Merge branch 'dev' into v4.5.0-bump 2024-02-02 12:11:55 +01:00
Jon Eugster a67dcb306f fix indent 2024-01-26 11:55:00 +01:00
Jon Eugster 37582e04d4 fix errors for disabled tactics #188 2024-01-26 11:54:36 +01:00
Jon Eugster 26202e5f36 fix typo 2024-01-22 14:09:54 +01:00
Jon Eugster ed017fa605 documentation & cleanup in FileWorker 2024-01-22 14:06:52 +01:00
Jon Eugster ca576542ba whitelist generalizing and says. #173 2024-01-19 10:53:43 +01:00
Jon Eugster fd5e507541 lint: fix line widths 2024-01-19 10:50:48 +01:00
Jon Eugster 406c2799b1 bump to v4.5.0-rc1 2023-12-25 12:07:56 +01:00
Jon Eugster 8cdac88b5a bump to v4.4.0 2023-12-22 13:28:49 +01:00
Alexander Bentkamp c9f97b3285 remove watchdog 2023-12-15 22:17:09 +01:00
Jon Eugster 614b762b6c rename LemmaDoc into TheoremDoc and so on 2023-12-15 16:05:49 +01:00
Jon Eugster 2d0f69d337 fix: prevent multiple NewTactic per level #125 2023-12-14 21:44:36 +01:00
Jon Eugster 5fd49abb90 improve hover text for inventory items #144 2023-12-14 21:05:37 +01:00
Jon Eugster ae636a03ed fix: hide hidden inventory items in overview #169 2023-12-14 19:01:11 +01:00
joneugster 8c39fb6664 cleanup; including using doc comment syntax for documentation like TacticDoc 2023-12-11 19:38:58 +01:00
Jon Eugster 527f58e3a4 separate lean server from socket server 2023-12-09 22:42:40 +01:00
Jon Eugster f6738faf46 golf 2023-12-09 11:14:55 +01:00
Jon Eugster cb7224934c fix cwd for gameserver 2023-12-08 21:06:31 +01:00
Jon Eugster 13d54ff0ff fix gameserver path 2023-12-08 20:38:35 +01:00
Jon Eugster 4f5256fa88 fix bubblewrap script 2023-12-08 18:32:45 +01:00
Jon Eugster c2b9175fe5 use the gameserver of each game individually 2023-12-08 18:14:35 +01:00
Jon Eugster d5697d052e images folder might not exist 2023-12-08 00:58:17 +01:00
Jon Eugster 54bab2a016 add support for images 2023-12-08 00:39:45 +01:00
Jon Eugster 23b1074aa2 cleanup tmp files after import 2023-12-07 18:09:12 +01:00
joneugster f6a2632d80 fix error message on importing non-existing game tile 2023-12-07 02:29:56 +01:00
joneugster f2190d648f fix manual dependencies being added twice to svg 2023-12-07 02:28:57 +01:00
joneugster 7a03c4fe0d move landing page tiles to the games 2023-12-06 18:21:37 +01:00
joneugster 121b36b542 bump to v4.3.0 2023-12-01 12:19:58 +01:00
Alexander Bentkamp d18b48db2f make json files directly accessible 2023-11-30 20:55:03 +01:00
Alexander Bentkamp 97dc648452 use goal lctx for hints 
Closes  #135
 2023-11-30 20:38:25 +01:00
joneugster 44f7b6703e Revert "fix variables in hints" 
This reverts commit 8851cd8b1f.
 2023-11-30 12:16:06 +01:00
joneugster 8851cd8b1f fix variables in hints 2023-11-30 11:18:56 +01:00