greg/NNG
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

.pot file

Browse Source
This commit is contained in:
Jon Eugster
2024-03-11 19:41:49 +01:00
parent 46dbb0e7f6
commit 41bfbe2295
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
.i18n/Game.pot
View File

@@ -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"