phc
/
lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • d60dc3fcb2 mark most of the game text for translation Jon Eugster 2024-03-27 02:03:05 +0100
  • 1a54edffd4 bump lean-i18n and other stuff Jon Eugster 2024-03-27 01:37:58 +0100
  • ad1add5264 support translations of the games Jon Eugster 2024-03-27 00:22:51 +0100
  • a26022e3fc fix css Jon Eugster 2024-03-26 19:10:23 +0100
  • 7c44d49b2a images on all levels Jon Eugster 2024-03-26 17:24:53 +0100
  • a111814973 improve error messages Jon Eugster 2024-03-26 14:59:02 +0100
  • a7784ef66b center github icon Jon Eugster 2024-03-26 10:04:39 +0100
  • 389e120117 add translations Jon Eugster 2024-03-26 02:49:48 +0100
  • ee9fd18a56 use global configs in i18n-scanner Jon Eugster 2024-03-26 01:16:21 +0100
  • 8b29f88407 use flags for game tiles Jon Eugster 2024-03-26 01:02:23 +0100
  • ebda6cc162 more progress on internationalisation Jon Eugster 2024-03-26 00:30:55 +0100
  • 7e9514fe96 mark all texts for translation #179 Jon Eugster 2024-03-25 23:51:19 +0100
  • 038dbe71b8 fix i18next-scanner overwriting existing translations Jon Eugster 2024-03-25 23:00:05 +0100
  • 19d2ea363a refactor i18next-scanner config Jon Eugster 2024-03-25 22:44:26 +0100
  • 3ac8fdace7 mark translations in app-bar Jon Eugster 2024-03-25 22:30:55 +0100
  • 8d0493acb5 make preferences work #179 Jon Eugster 2024-03-25 22:22:57 +0100
  • 27c661f08f modify generated statement in inventory Jon Eugster 2024-03-25 21:15:35 +0100
  • b37f050da5
         Merge pull request #204 from noamraph/patch-1 Jon Eugster 2024-03-25 18:51:48 +0100
  • 09c81ea43f
         Update level.css - hide .katex-mathml, to fix scrolling issue #204 Noam Yorav-Raphael 2024-03-25 19:10:33 +0200
  • ff12b34295 add suspense to wait for loading #179 Jon Eugster 2024-03-25 13:43:01 +0100
  • 45bc0468df implement i18next and i18next-scanner Jon Eugster 2024-03-24 17:37:31 +0100
  • c24efb1377
         Merge pull request #203 from JiechengZhao/main Jon Eugster 2024-03-23 13:25:18 +0100
  • 830bffaf11 Remove gitignore introduced by accidently lake init #203 Hydrogenbear 2024-03-23 09:07:30 +0800
  • a9447a70d4 add interface buttons for i18n #179 Jon Eugster 2024-03-23 01:11:42 +0100
  • eaa4eecad2 add doc Jon Eugster 2024-03-22 23:27:08 +0100
  • 1828e73b30 add preample tactic sequence to Statement Jon Eugster 2024-03-22 18:59:01 +0100
  • ce9f5c7840 fix locked editor mode Jon Eugster 2024-03-22 18:11:14 +0100
  • 64d7879c32 delete accidently lake init Hydrogenbear 2024-03-21 18:13:31 +0800
  • cb711205a2 Add react_i18n Hydrogenbear 2024-03-21 18:11:17 +0800
  • f42829422d delete hidden hints in chat on Retry Jon Eugster 2024-03-15 18:38:32 +0100
  • ee6741232f add doc Jon Eugster 2024-03-15 18:06:33 +0100
  • fa4ae5672d bump to v4.6.1 v4.6.1 Jon Eugster 2024-03-15 17:06:59 +0100
  • 9bc0a3de46 add let_intros for better experience with levels about functions Jon Eugster 2024-03-15 17:06:43 +0100
  • 6cdbfbd9cb Revert "DisableTheorem and co. should not warn if doc does not exist" Jon Eugster 2024-03-14 21:18:02 +0100
  • f55581a5f2 doc Jon Eugster 2024-03-14 19:43:54 +0100
  • 381930e547 DisableTheorem and co. should not warn if doc does not exist Jon Eugster 2024-03-14 19:43:47 +0100
  • e07570181c typo Jon Eugster 2024-03-11 19:36:54 +0100
  • 87689e1c3a dont show 'intermediate goal solved' on error Jon Eugster 2024-03-11 19:29:53 +0100
  • 47297e4194 temporary fix to improve message on server crash Jon Eugster 2024-03-11 17:33:06 +0100
  • f3f077741d fix client breaking if server timed out. Jon Eugster 2024-03-11 12:33:47 +0100
  • edf1085310 fix ts warnings Jon Eugster 2024-03-11 12:18:30 +0100
  • 68f84a3426 fix replacement for 2+ variables v4.6.0 Jon Eugster 2024-02-29 16:53:35 +0100
  • 217f86ce5e fix allowed keywords that are not tactics Jon Eugster 2024-02-29 15:12:33 +0100
  • dd60093dfc bump i18n again Jon Eugster 2024-02-29 12:03:48 +0100
  • 85347a54d9 bump i18n Jon Eugster 2024-02-29 11:40:30 +0100
  • 3b4afd6e0e update i18n dependency Jon Eugster 2024-02-29 11:24:40 +0100
  • 2c12872a6e npm audit Jon Eugster 2024-02-29 11:02:45 +0100
  • ad819bf7ff npm package Jon Eugster 2024-02-29 11:01:59 +0100
  • c0f366abba Merge branch 'dev' Jon Eugster 2024-02-29 11:00:07 +0100
  • f72ebdf050 bump to v4.6.0 Jon Eugster 2024-02-29 10:54:37 +0100
  • af8463ca5d fixes for v4.6.0-rc1 Jon Eugster 2024-02-14 16:22:10 +0100
  • d0a444205a bump to v4.6.0-rc1 Jon Eugster 2024-02-14 15:04:32 +0100
  • 1796c76a84 remove debugging css Jon Eugster 2024-02-29 01:27:26 +0100
  • a75a4a81ac add i18n dependency (#179) Jon Eugster 2024-02-29 01:08:51 +0100
  • 45d84103c1 bump npm packages Jon Eugster 2024-02-29 01:03:25 +0100
  • 92e9ed38b2 add manual trigger to github action Jon Eugster 2024-02-29 01:02:28 +0100
  • d689c7ec86 update npm deps v4.5.0 Jon Eugster 2024-02-07 13:03:48 +0100
  • 16c979a6c2 bump npm dependencies Jon Eugster 2024-02-07 12:54:10 +0100
  • 2b85386373 move Hint tactic back Jon Eugster 2024-02-16 18:20:36 +0100
  • 8008b68fd6 cleanup code surrounding hints Jon Eugster 2024-02-16 18:09:01 +0100
  • 2649f985fa plug-in variables in hints client-side Jon Eugster 2024-02-16 16:50:10 +0100
  • 698a88c545
         Update troubleshoot.md Jon Eugster 2024-02-16 10:57:02 +0100
  • 3775ad98c8 level completed message in editor Jon Eugster 2024-02-14 18:36:19 +0100
  • 780514e45a fix: allow theorems from inventory #191 Jon Eugster 2024-02-14 18:22:01 +0100
  • 19f2ceface fix indent Jon Eugster 2024-02-14 16:45:32 +0100
  • ce739078b9 fixes for v4.6.0-rc1 v4.6.0-bump Jon Eugster 2024-02-14 16:22:10 +0100
  • a671bfa15f bump to v4.6.0-rc1 Jon Eugster 2024-02-14 15:04:32 +0100
  • 800d1f3308 drop importGraph dependency in server Jon Eugster 2024-02-14 15:03:12 +0100
  • c0acde14e2 hints and diags in editor Jon Eugster 2024-02-14 15:02:14 +0100
  • 976d1c6901 fix: goal in editor didnt show Jon Eugster 2024-02-14 14:53:10 +0100
  • 5bb6c559bc update npm deps Jon Eugster 2024-02-07 13:03:48 +0100
  • 11ee6c1535 bump npm dependencies Jon Eugster 2024-02-07 12:54:10 +0100
  • 3998fb2fc9 Merge branch 'main' into dev Jon Eugster 2024-02-07 12:51:39 +0100
  • 538f74004c allow for empty lines in editor Jon Eugster 2024-02-07 12:41:21 +0100
  • 6aebb8993f update proof from editor Jon Eugster 2024-02-07 10:34:43 +0100
  • 6472ef5b31 First big junk of communication refactor Jon Eugster 2024-02-06 19:35:28 +0100
  • 72ffab5b46 cleanup InteractiveGoal Jon Eugster 2024-02-01 14:05:24 +0100
  • 3b660c5185 Merge branch 'dev'. Bump to v4.5.0 Jon Eugster 2024-02-02 12:44:32 +0100
  • ebb8c98145 bump to v4.5.0 Jon Eugster 2024-02-02 12:43:58 +0100
  • 4abf05b77e Merge branch 'dev' into v4.5.0-bump Jon Eugster 2024-02-02 12:11:55 +0100
  • afae75e41f some stuff wasm2 Alexander Bentkamp 2024-02-01 21:52:36 +0100
  • df423aaace
         Merge pull request #181 from Wzixiao/auto-mobile-layout Jon Eugster 2024-01-26 12:06:29 +0100
  • a67dcb306f fix indent Jon Eugster 2024-01-26 11:55:00 +0100
  • 37582e04d4 fix errors for disabled tactics #188 Jon Eugster 2024-01-26 11:54:36 +0100
  • 9d4a6df139 Remove MobileContext and use PreferencesContext instead #181 ran 2024-01-23 22:59:43 +0800
  • 26202e5f36 fix typo Jon Eugster 2024-01-22 14:09:54 +0100
  • ed017fa605 documentation & cleanup in FileWorker Jon Eugster 2024-01-22 14:06:52 +0100
  • 36bc52c960 add logic game to landing page Jon Eugster 2024-01-22 13:31:43 +0100
  • e085f2f106
         Merge pull request #186 from Geoc2022/main Jon Eugster 2024-01-22 13:26:30 +0100
  • e975c455fe
         Update doc/DOCUMENTATION.md #186 Jon Eugster 2024-01-22 12:44:12 +0100
  • c006be5a9f Fix minor typos geo 2024-01-20 16:15:15 -0500
  • 49379a0930 Fix link references geo 2024-01-20 16:02:46 -0500
  • 03076b0161 Add example `npm start` message geo 2024-01-19 10:52:26 -0500
  • bfb60ffedd Updated "Doc entries" geo 2024-01-19 10:41:20 -0500
  • ca576542ba whitelist generalizing and says. #173 Jon Eugster 2024-01-19 10:53:43 +0100
  • fd5e507541 lint: fix line widths Jon Eugster 2024-01-19 10:50:48 +0100
  • c103eeacfa fix: case insensitive url in local store #183 Jon Eugster 2024-01-18 14:57:50 +0100
  • e277a48749 add changelog file Jon Eugster 2024-01-18 14:19:32 +0100
  • 16ff701518
         Update troubleshoot.md Jon Eugster 2024-01-18 13:51:33 +0100
  • 20ca385e14
         Update README.md Jon Eugster 2024-01-18 13:48:43 +0100