From 129e7644ad9c678d307ff8c715e737386377c2a6 Mon Sep 17 00:00:00 2001 From: rnsatg Date: Thu, 15 Oct 2026 20:13:28 +0200 Subject: [PATCH] Clarify what tactics are in Game.pot --- .i18n/en/Game.pot | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.i18n/en/Game.pot b/.i18n/en/Game.pot index 7db3516..85d5f60 100644 --- a/.i18n/en/Game.pot +++ b/.i18n/en/Game.pot @@ -2577,7 +2577,7 @@ msgstr "" #. §7: `use 4` #. §8: $k$ #: Game.Levels.Divisibility.L01_first_proof -msgid "Welcome to your first level! In Lean, you write proofs by using **tactics**. Tactics are commands that manipulate the goal until it is solved.\n" +msgid "Welcome to your first level! In Lean, you write proofs by using **tactics**. Tactics are commands that transform your goal or hypotheses (assumptions) until the goal is solved.\n" "\n" "Our first statement is §0, which is read as \"3 divides 12\".\n" "Check your **Definitions** tab on the right to read exactly what this means mathematically!\n"