bump lean-i18n

Author: joneugster

cypress/TestGame/.i18n/en/Game.pot

@@ -1,114 +1,127 @@
 msgid ""
 msgstr "Project-Id-Version: Game v4.23.0\n"
 "Report-Msgid-Bugs-To: \n"
-"POT-Creation-Date: 2025-09-20\n"
+"POT-Creation-Date: 2025-09-25\n"
 "Last-Translator: \n"
 "Language-Team: none\n"
 "Language: en\n"
 "Content-Type: text/plain; charset=UTF-8\n"
 "Content-Transfer-Encoding: 8bit"
 
-#: Game.Levels.DemoWorld
-msgid "Test World"
+#: GameServer.RpcHandlers
+msgid "level completed! 🎉"
 msgstr ""
 
 #: GameServer.RpcHandlers
 msgid "level completed with warnings… 🎭"
 msgstr ""
 
+#: GameServer.RpcHandlers
+msgid "intermediate goal solved! 🎉"
+msgstr ""
+
 #: Game.Levels.DemoWorld.L01_HelloWorld
 msgid "Test Level"
 msgstr ""
 
-#. §0: `ℕ`
+#. §0: $\\textbf{LaTeX}$
 #: Game.Levels.DemoWorld.L01_HelloWorld
-msgid "Commutativity on §0"
+msgid "This is a test level. There can be §0"
 msgstr ""
 
-#: GameServer.RpcHandlers
-msgid "level completed! 🎉"
+#. §0: `«{h}»`
+#. §1: `«{g}»`
+#: Game.Levels.DemoWorld.L01_HelloWorld
+msgid "You can either start using §0 or §1."
 msgstr ""
 
-#. §0: $\\textbf{LaTeX}$
+#. §0: `«{g}»`
 #: Game.Levels.DemoWorld.L01_HelloWorld
-msgid "This is a test level. There can be §0"
+msgid "You should use §0 now."
+msgstr ""
+
+#: Game.Levels.DemoWorld.L01_HelloWorld
+msgid "This last message appears if the level is solved."
 msgstr ""
 
 #: Game.Levels.DemoWorld.L01_HelloWorld
 msgid "The way to proof reflexivity."
 msgstr ""
 
-#. §0: `«{g}»`
+#. §0: `ℕ`
+#: Game.Levels.DemoWorld.L01_HelloWorld
+msgid "Commutativity on §0"
+msgstr ""
+
 #: Game.Levels.DemoWorld.L01_HelloWorld
+msgid "An equality"
+msgstr ""
+
+#: Game.Levels.DemoWorld.L01_HelloWorld
+msgid "Addition"
+msgstr ""
+
 #: Game.Levels.DemoWorld.L02_HypothesisNames
-msgid "You should use §0 now."
+msgid "Hypothesis Names"
 msgstr ""
 
-#: GameServer.RpcHandlers
-msgid "intermediate goal solved! 🎉"
+#: Game.Levels.DemoWorld.L02_HypothesisNames
+msgid "This is a test level."
+msgstr ""
+
+#. §0: `«{g}»`
+#: Game.Levels.DemoWorld.L02_HypothesisNames
+msgid "You should use §0 now."
 msgstr ""
 
 #: Game.Levels.DemoWorld.L02_HypothesisNames
-#: Game.Levels.DemoWorld.L03_NonProp
 msgid "Done!"
 msgstr ""
 
 #: Game.Levels.DemoWorld.L03_NonProp
 msgid "Non-Prop-Valued"
 msgstr ""
 
-#: Game.Levels.DemoWorld.L02_HypothesisNames
 #: Game.Levels.DemoWorld.L03_NonProp
 msgid "This is a test level."
 msgstr ""
 
-#: Game
-msgid "This is additional information about the game."
+#: Game.Levels.DemoWorld.L03_NonProp
+msgid "intro first!"
 msgstr ""
 
-#: Game.Levels.DemoWorld.L01_HelloWorld
-msgid "This last message appears if the level is solved."
+#: Game.Levels.DemoWorld.L03_NonProp
+msgid "now apply!"
 msgstr ""
 
-#: Game.Levels.DemoWorld.L01_HelloWorld
-msgid "Addition"
+#: Game.Levels.DemoWorld.L03_NonProp
+msgid "Done!"
 msgstr ""
 
-#: Game
-msgid "This is a test game."
+#: Game.Levels.DemoWorld
+msgid "Test World"
 msgstr ""
 
-#: Game
-msgid "This is the introduction text of the game."
+#: Game.Levels.DemoWorld
+msgid "This is the introduction of Test World."
 msgstr ""
 
-#: Game
 #: Game
 msgid "Test Game"
 msgstr ""
 
-#: Game.Levels.DemoWorld.L02_HypothesisNames
-msgid "Hypothesis Names"
-msgstr ""
-
-#: Game.Levels.DemoWorld.L03_NonProp
-msgid "now apply!"
-msgstr ""
-
-#: Game.Levels.DemoWorld.L01_HelloWorld
-msgid "An equality"
+#: Game
+msgid "This is the introduction text of the game."
 msgstr ""
 
-#: Game.Levels.DemoWorld
-msgid "This is the introduction of Test World."
+#: Game
+msgid "This is additional information about the game."
 msgstr ""
 
-#. §0: `«{h}»`
-#. §1: `«{g}»`
-#: Game.Levels.DemoWorld.L01_HelloWorld
-msgid "You can either start using §0 or §1."
+#: Game
+msgid "Test Game"
 msgstr ""
 
-#: Game.Levels.DemoWorld.L03_NonProp
-msgid "intro first!"
+#: Game
+msgid "This is a test game."
 msgstr ""

server/lake-manifest.json

@@ -15,7 +15,7 @@
    "type": "git",
    "subDir": null,
    "scope": "hhu-adam",
-   "rev": "c293094f25d8548435dcfa6bc58cc8ed52f15341",
+   "rev": "c07e62c1431859fd6ead265774a6393cae4744cf",
    "name": "i18n",
    "manifestFile": "lake-manifest.json",
    "inputRev": "v4.23.0",