From 41bfbe22956fe277db9deb5c7644064af3987df9 Mon Sep 17 00:00:00 2001 From: Jon Eugster Date: Mon, 11 Mar 2024 19:41:49 +0100 Subject: [PATCH] .pot file --- .i18n/Game.pot | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.i18n/Game.pot b/.i18n/Game.pot index b89a4bd..ac49b2f 100644 --- a/.i18n/Game.pot +++ b/.i18n/Game.pot @@ -1,7 +1,7 @@ msgid "" msgstr "Project-Id-Version: Game v4.6.0\n" "Report-Msgid-Bugs-To: \n" -"POT-Creation-Date: Mon Mar 11 19:04:55 2024\n" +"POT-Creation-Date: Mon Mar 11 19:40:35 2024\n" "Last-Translator: \n" "Language-Team: none\n" "Language: en\n" @@ -99,14 +99,14 @@ msgid "## Summary\n" "\n" "## Variants\n" "\n" -"* `rw [← h]` (changes `Y`s to `X`s; get the back arrow by typing `\\left ` or `\\l`.)\n" +"* `rw [← h]` (changes `Y`s to `X`s; get the back arrow by typing `\left ` or `\l`.)\n" "\n" "* `rw [h1, h2]` (a sequence of rewrites)\n" "\n" "* `rw [h] at h2` (changes `X`s to `Y`s in hypothesis `h2`)\n" "\n" "* `rw [h] at h1 h2 ⊢` (changes `X`s to `Y`s in two hypotheses and the goal;\n" -"get the `⊢` symbol with `\\|-`.)\n" +"get the `⊢` symbol with `\|-`.)\n" "\n" "* `repeat rw [add_zero]` will keep changing `? + 0` to `?`\n" "until there are no more matches for `? + 0`.\n"