diff --git a/client/public/locales/en/translation.json b/client/public/locales/en/translation.json index 10034e2..f1a92b6 100644 --- a/client/public/locales/en/translation.json +++ b/client/public/locales/en/translation.json @@ -24,7 +24,6 @@ "Editor mode": "Editor mode", "Typewriter mode": "Typewriter mode", "information, Impressum, privacy policy": "information, Impressum, privacy policy", - "Impressum": "Impressum", "Preferences": "Preferences", "Game Info & Credits": "Game Info & Credits", "Game Info": "Game Info", @@ -68,7 +67,6 @@ "A repository of learning games for the proof assistant <1>Lean (Lean 4) and its mathematical library <5>mathlib": "A repository of learning games for the proof assistant <1>Lean (Lean 4) and its mathematical library <5>mathlib", "No Games loaded. Use <1>http://localhost:3000/#/g/local/FOLDER to open a game directly from a local folder.": "No Games loaded. Use <1>http://localhost:3000/#/g/local/FOLDER to open a game directly from a local folder.", "

As this server runs lean on our university machines, it has a limited capacity. Our current estimate is about 70 simultaneous games. We hope to address and test this limitation better in the future.

<1>Most aspects of the games and the infrastructure are still in development. Feel free to file a <1>GitHub Issue about any problems you experience!": "

As this server runs lean on our university machines, it has a limited capacity. Our current estimate is about 70 simultaneous games. We hope to address and test this limitation better in the future.

<1>Most aspects of the games and the infrastructure are still in development. Feel free to file a <1>GitHub Issue about any problems you experience!", - "<0>If you are considering writing your own game, you should use the <1>GameSkeleton Github Repo as a template and read <3>How to Create a Game.<1>You can directly load your games into the server and play it using the correct URL. The <1>instructions above also explain the details for how to load your game to the server. We'd like to encourage you to contact us if you have any questions.

Featured games on this page are added manually. Please get in contact and we-ll happily add yours.

": "<0>If you are considering writing your own game, you should use the <1>GameSkeleton Github Repo as a template and read <3>How to Create a Game.<1>You can directly load your games into the server and play it using the correct URL. The <1>instructions above also explain the details for how to load your game to the server. We'd like to encourage you to contact us if you have any questions.

Featured games on this page are added manually. Please get in contact and we-ll happily add yours.

", "This server has been developed as part of the project <1>ADAM : Anticipating the Digital Age of Mathematics at Heinrich-Heine-Universität in Düsseldorf.": "This server has been developed as part of the project <1>ADAM : Anticipating the Digital Age of Mathematics at Heinrich-Heine-Universität in Düsseldorf.", "Prerequisites": "Prerequisites", "Worlds": "Worlds", diff --git a/client/public/locales/zh/translation.json b/client/public/locales/zh/translation.json index c294c00..4b77436 100644 --- a/client/public/locales/zh/translation.json +++ b/client/public/locales/zh/translation.json @@ -24,7 +24,6 @@ "Editor mode": "编辑器模式", "Typewriter mode": "打字机模式", "information, Impressum, privacy policy": "信息、版权声明、隐私政策", - "Impressum": "版权声明", "Preferences": "偏好设置", "Game Info & Credits": "游戏信息和荣誉", "Game Info": "游戏信息",