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

Commit Graph

  • 75b367e3d1 remove LemmaDoc etc. Jon Eugster 2024-06-12 12:20:10 +0200
  • b815b86c0d sort theorems alphabetically #110 Jon Eugster 2024-06-12 11:55:37 +0200
  • 8b4215e407 update documentation about opening local notations #216 Jon Eugster 2024-06-12 11:50:08 +0200
  • a0ecaeeece fix button display #199 Jon Eugster 2024-06-12 01:15:57 +0200
  • dea5fd0558 add buttons to delete level/world only #199 Jon Eugster 2024-06-12 01:08:40 +0200
  • c03e2f123e add next/home back button to chat Jon Eugster 2024-06-12 00:32:20 +0200
  • b1cdcfc113 press enter to go to next level #170 Jon Eugster 2024-06-12 00:31:56 +0200
  • 503ea51f95 add framework to allow unbundle hypotheses #105 Jon Eugster 2024-06-11 23:42:58 +0200
  • aed2899fb6 do not display any errors before the first step #209 Jon Eugster 2024-06-11 23:08:05 +0200
  • 1f14ad185f internally rename lemma to theorem #108 Jon Eugster 2024-06-11 23:00:27 +0200
  • 17d2ba5a2c use JuliaMono and Roboto as fonts consistently #192 Jon Eugster 2024-06-11 21:05:55 +0200
  • 2a070332f2 side-by-side goals #90 Jon Eugster 2024-06-11 20:39:42 +0200
  • aedf073a33 unlock inventory items in relaxed mode #194 Jon Eugster 2024-06-11 02:12:26 +0200
  • d684f260bb cleanup imports of world_tree Jon Eugster 2024-06-11 01:40:06 +0200
  • 925d729725 doc Jon Eugster 2024-06-11 01:38:46 +0200
  • 9f4fe656c8 style Jon Eugster 2024-06-11 01:37:48 +0200
  • 72ccdd1478 move Button and Markdown Jon Eugster 2024-06-11 01:37:06 +0200
  • b66954248f cleanup context Jon Eugster 2024-06-11 01:31:00 +0200
  • 096bd55f9b image for world intro Jon Eugster 2024-06-11 01:10:40 +0200
  • 02d0d57453 fail gracefully on bad gameId #150 Jon Eugster 2024-06-11 01:05:43 +0200
  • 762c1ef0c4 drop comment Jon Eugster 2024-06-11 00:56:29 +0200
  • 4652f6d50f add support for external images in chat #235 Jon Eugster 2024-06-11 00:25:50 +0200
  • f158250341 improve chat scrolling #82 Jon Eugster 2024-06-10 23:59:23 +0200
  • 446d0296f0 partial bump to v4.8.0: simple fixes bump_v4.8.0 Jon Eugster 2024-06-07 02:06:21 +0200
  • 7dc0a507ed fix css Jon Eugster 2024-06-07 01:20:30 +0200
  • 80d4b88f5a mostly remove 'world' as a word #237 Jon Eugster 2024-06-06 12:33:04 +0200
  • 714b4f45b1 redefine chat scrolling #230 Jon Eugster 2024-06-06 02:37:26 +0200
  • 6da902aede cleanup chat css Jon Eugster 2024-06-06 01:27:42 +0200
  • cdffe03f9a cleanup chat Jon Eugster 2024-06-05 18:47:20 +0200
  • adeed03da8 cleanup; including cleaning up chat Jon Eugster 2024-06-05 18:41:01 +0200
  • b091ec579b
         Merge pull request #236 from RexWzh/main Jon Eugster 2024-06-04 20:38:30 +0200
  • 2a14f48f45 use environment variable for port #236 cubenlp 2024-06-04 23:34:33 +0800
  • 4ed0753bb0
         Merge pull request #234 from miguelmarco/patch-1 Jon Eugster 2024-06-02 10:36:46 +0200
  • 6b5fc80896
         Update client/public/locales/es/translation.json #234 Jon Eugster 2024-06-02 10:34:18 +0200
  • e56c7a0670
         Update client/public/locales/es/translation.json Jon Eugster 2024-06-02 10:32:59 +0200
  • 5b710da197
         Update client/public/locales/es/translation.json Jon Eugster 2024-06-02 10:32:51 +0200
  • b275bbb94f
         Update translation.json miguelmarco 2024-05-31 18:55:00 +0200
  • 29eb90e6c8 add spanish Jon Eugster 2024-05-31 13:00:43 +0200
  • 8e3dfdea30 wip Jon Eugster 2024-05-24 15:34:33 +0200
  • 71fad5699e turn defeq-hints on by default #45 Jon Eugster 2024-05-23 16:35:52 +0200
  • a7d746a8e5 add defeq-hints #45 Jon Eugster 2024-05-23 16:33:55 +0200
  • c735211cd8 cleanup Jon Eugster 2024-05-17 00:43:48 +0200
  • 369b77f00f add search parameter to set language #220 Jon Eugster 2024-05-17 00:17:44 +0200
  • 895c71dc91 cleanup Jon Eugster 2024-05-16 23:40:21 +0200
  • 8b5d6ff2f3 improve language selection Jon Eugster 2024-05-16 23:26:50 +0200
  • c1642cf09b cleanup: popups Jon Eugster 2024-05-16 17:27:16 +0200
  • d82ef8af8f refactor: navigation and other stuff Jon Eugster 2024-05-16 02:31:41 +0200
  • 08875e4415 style error page Jon Eugster 2024-05-07 17:13:03 +0200
  • 5765c78a1d add submenu for inventory categories Jon Eugster 2024-05-03 16:30:36 +0200
  • b9112bfb09 add 'using' as known keyword Jon Eugster 2024-05-03 15:16:19 +0200
  • 4e9ac54cde
         Merge pull request #224 from JadAbouHawili/patch-1 Jon Eugster 2024-05-03 14:28:29 +0200
  • 18f21fa324
         Typo in documentation, hints.md #224 JadAbouHawili 2024-05-02 17:38:30 +0000
  • 05fbee9365 mark inventory item from the last level Jon Eugster 2024-04-25 15:11:31 +0200
  • 1daef0d80f show exercise name even if no text present Jon Eugster 2024-04-25 15:10:51 +0200
  • 06cc52bb7e mark tabs with new theorems Jon Eugster 2024-04-24 17:01:33 +0200
  • eac945e7b5 update impressum & privacy policy Jon Eugster 2024-04-24 14:31:29 +0200
  • be79d80f70 Merge branch 'cn-i18n' of https://github.com/JiechengZhao/lean4game into cn-i18n #220 Hydrogenbear 2024-04-22 09:08:43 +0800
  • 01be49061d Add a search parameter that makes it easier for people to share links in their preferred language. Hydrogenbear 2024-04-22 09:08:25 +0800
  • a1b1a33a9b remove more flags #208 Jon Eugster 2024-04-19 10:07:09 +0200
  • 02978a38ed add allowed keywords #215 Jon Eugster 2024-04-18 18:22:03 +0200
  • 8cf358e17b add config option to disable flags in preferences #208 Jon Eugster 2024-04-18 18:06:56 +0200
  • 3ddcc35137
         Merge pull request #206 from JiechengZhao/cn-i18n Jon Eugster 2024-04-18 12:27:56 +0200
  • 4e7c958348
         Update client/public/locales/zh/translation.json #206 Jon Eugster 2024-04-18 12:24:29 +0200
  • 237371a77f Merge branch 'main' of https://github.com/leanprover-community/lean4game into cn-i18n Hydrogenbear 2024-04-18 10:23:14 +0800
  • f308e1ad49 fix CSS of tooltips #207 Jon Eugster 2024-04-17 12:54:13 +0200
  • 62f1fb87d1 add numpad-enter key #212 Jon Eugster 2024-04-17 12:23:53 +0200
  • c5df85ce66 Add a missed translation Hydrogenbear 2024-04-11 19:38:33 +0800
  • 848b2cddc8 fix hhu-adam/Robo#22 Jon Eugster 2024-04-11 11:59:03 +0200
  • d034148bec
         Update README.md Jon Eugster 2024-04-11 10:30:08 +0200
  • 3d9d244b31 mark another string from translation Jon Eugster 2024-04-10 17:12:55 +0200
  • feaf6dae0c
         Update translate.md Jon Eugster 2024-04-10 16:17:44 +0200
  • 6059ff1da7
         Update translate.md Jon Eugster 2024-04-10 16:17:27 +0200
  • 6f95f41d14
         Update translate.md Jon Eugster 2024-04-10 16:15:19 +0200
  • 335209b094
         Update README.md Jon Eugster 2024-04-10 16:13:06 +0200
  • de1ff4fadc
         Update create_game.md Jon Eugster 2024-04-10 16:12:35 +0200
  • db66cb1fcc
         Create translate.md Jon Eugster 2024-04-10 16:11:12 +0200
  • 66aa8e688e npm audit v4.7.0 Jon Eugster 2024-04-10 14:46:48 +0200
  • a523bab1d6 fix css warning Jon Eugster 2024-04-10 14:45:17 +0200
  • 499bb00d4f fix language loading on landing page Jon Eugster 2024-04-10 14:43:30 +0200
  • 67b03d9ccf bump to v4.7.0 Jon Eugster 2024-04-10 14:06:41 +0200
  • a15dd0a1bd bump i18n Jon Eugster 2024-04-10 11:23:27 +0200
  • ded9c38170 Merge remote-tracking branch 'upstream/dev' into cn-i18n Hydrogenbear 2024-04-10 08:30:36 +0800
  • d456621875 apply suggestions from PR #206 manually Jon Eugster 2024-04-09 09:47:05 +0200
  • 74059bd5af fix typo Jon Eugster 2024-04-08 23:20:21 +0200
  • ce71bc81c6 remove logInfo for Branch finishing proof Jon Eugster 2024-04-08 12:23:07 +0200
  • 7cedfc5038 mark some server messages for translation Jon Eugster 2024-04-06 15:40:06 +0200
  • a8d3169ebb add some translation keys Jon Eugster 2024-04-06 15:25:31 +0200
  • 9b05a27888 use translation of level title Jon Eugster 2024-04-06 14:56:19 +0200
  • af5426856e Some updates, and fix. Hydrogenbear 2024-04-01 12:35:17 +0800
  • 470a184cac some update Jiecheng 2024-04-01 07:44:34 +0800
  • 1006097e32 Merge branch 'dev' of https://github.com/leanprover-community/lean4game into cn-i18n Hydrogenbear 2024-03-30 09:46:40 +0800
  • 3124d90cd6 typo Jon Eugster 2024-03-29 12:36:39 +0100
  • 5a768c25b7 mark two more translations Jon Eugster 2024-03-29 12:34:57 +0100
  • 39be34e83a improve landing page Jon Eugster 2024-03-29 12:27:14 +0100
  • dd7a2d1bc1 bump lean-i18n Jon Eugster 2024-03-29 12:23:37 +0100
  • 684a1bc72b fix initial translation loading on starting page Jon Eugster 2024-03-29 12:16:36 +0100
  • 10391b616c add chinese translations Jon Eugster 2024-03-28 20:45:50 +0100
  • 1431ff8b49 remove the mistyped key Hydrogenbear 2024-03-28 10:21:10 +0800
  • d3a55a4dd3 add Chinese translation #205 Hydrogenbear 2024-03-28 10:07:57 +0800
  • aaa6c3b576 add german translations Jon Eugster 2024-03-27 02:17:46 +0100