Commit Graph

1072 Commits (dea5fd05584b479864df9f1007df8d17f81b498d)
 

Author SHA1 Message Date
Jon Eugster dea5fd0558 add buttons to delete level/world only #199 9 months ago
Jon Eugster c03e2f123e add next/home back button to chat 9 months ago
Jon Eugster b1cdcfc113 press enter to go to next level #170 9 months ago
Jon Eugster 503ea51f95 add framework to allow unbundle hypotheses #105 9 months ago
Jon Eugster aed2899fb6 do not display any errors before the first step #209 9 months ago
Jon Eugster 1f14ad185f internally rename lemma to theorem #108 9 months ago
Jon Eugster 17d2ba5a2c use JuliaMono and Roboto as fonts consistently #192 9 months ago
Jon Eugster 2a070332f2 side-by-side goals #90 9 months ago
Jon Eugster aedf073a33 unlock inventory items in relaxed mode #194 9 months ago
Jon Eugster d684f260bb cleanup imports of world_tree 9 months ago
Jon Eugster 925d729725 doc 9 months ago
Jon Eugster 9f4fe656c8 style 9 months ago
Jon Eugster 72ccdd1478 move Button and Markdown 9 months ago
Jon Eugster b66954248f cleanup context 9 months ago
Jon Eugster 096bd55f9b image for world intro 9 months ago
Jon Eugster 02d0d57453 fail gracefully on bad gameId #150 9 months ago
Jon Eugster 762c1ef0c4 drop comment 9 months ago
Jon Eugster 4652f6d50f add support for external images in chat #235 9 months ago
Jon Eugster f158250341 improve chat scrolling #82 9 months ago
Jon Eugster 7dc0a507ed fix css 9 months ago
Jon Eugster 80d4b88f5a mostly remove 'world' as a word #237 9 months ago
Jon Eugster 714b4f45b1 redefine chat scrolling #230 9 months ago
Jon Eugster 6da902aede cleanup chat css 9 months ago
Jon Eugster cdffe03f9a cleanup chat 9 months ago
Jon Eugster adeed03da8 cleanup; including cleaning up chat 9 months ago
Jon Eugster 8e3dfdea30 wip 9 months ago
Jon Eugster 71fad5699e turn defeq-hints on by default #45 9 months ago
Jon Eugster a7d746a8e5 add defeq-hints #45 9 months ago
Jon Eugster c735211cd8 cleanup 9 months ago
Jon Eugster 369b77f00f add search parameter to set language #220 9 months ago
Jon Eugster 895c71dc91 cleanup 9 months ago
Jon Eugster 8b5d6ff2f3 improve language selection 9 months ago
Jon Eugster c1642cf09b cleanup: popups 9 months ago
Jon Eugster d82ef8af8f refactor: navigation and other stuff 9 months ago
Jon Eugster 08875e4415 style error page 10 months ago
Jon Eugster 5765c78a1d add submenu for inventory categories 10 months ago
Jon Eugster b9112bfb09 add 'using' as known keyword 10 months ago
Jon Eugster 05fbee9365 mark inventory item from the last level 10 months ago
Jon Eugster 1daef0d80f show exercise name even if no text present 10 months ago
Jon Eugster 06cc52bb7e mark tabs with new theorems 10 months ago
Jon Eugster eac945e7b5 update impressum & privacy policy 10 months ago
Jon Eugster a1b1a33a9b remove more flags #208 10 months ago
Jon Eugster 02978a38ed add allowed keywords #215 10 months ago
Jon Eugster 8cf358e17b add config option to disable flags in preferences #208 10 months ago
Jon Eugster 3ddcc35137
Merge pull request #206 from JiechengZhao/cn-i18n
add Chinese translation
10 months ago
Jon Eugster 4e7c958348
Update client/public/locales/zh/translation.json 10 months ago
Hydrogenbear 237371a77f Merge branch 'main' of https://github.com/leanprover-community/lean4game into cn-i18n 10 months ago
Jon Eugster f308e1ad49 fix CSS of tooltips #207 10 months ago
Jon Eugster 62f1fb87d1 add numpad-enter key #212 10 months ago
Hydrogenbear c5df85ce66 Add a missed translation 11 months ago