From 9cb634432cc3f3c52206ccddf6746919d0d1553c Mon Sep 17 00:00:00 2001 From: fmi Date: Wed, 1 Jul 2026 10:59:13 +0200 Subject: [PATCH 1/4] use collapsed for hint+legend --- src/LogicTasks/Syntax/ComposeFormula.hs | 20 ++++++++++++++------ 1 file changed, 14 insertions(+), 6 deletions(-) diff --git a/src/LogicTasks/Syntax/ComposeFormula.hs b/src/LogicTasks/Syntax/ComposeFormula.hs index 90967713..03b20dea 100644 --- a/src/LogicTasks/Syntax/ComposeFormula.hs +++ b/src/LogicTasks/Syntax/ComposeFormula.hs @@ -14,6 +14,7 @@ import Control.OutputCapable.Blocks ( extra, ($=<<), english, + collapsed, german, translate, localise, @@ -72,13 +73,20 @@ description inputHelp path ComposeFormulaInst{..} = do german $ "Bilden Sie für die beiden entstehenden Bäume die repräsentierenden Formeln" ++ onListsGer ++ ". " german $ "Es spielt keine Rolle, in welcher Reihenfolge die Formeln " ++ onOrderGer ++ "." - instruct $ do - english "(You are allowed to add arbitrarily many additional pairs of brackets in the formulas.)" - german "(In den Formeln dürfen Sie beliebig viele zusätzliche Klammerpaare hinzufügen.)" + collapsed True (translations $ do + english "Additional hints:" + german "Weitere Hinweise:") + (do + instruct $ do + english "(You are allowed to add arbitrarily many additional pairs of brackets in the formulas.)" + german "(In den Formeln dürfen Sie beliebig viele zusätzliche Klammerpaare hinzufügen.)" + + keyHeading + basicOpKey unicodeAllowed + arrowsKey' arrowOperatorsToShow - keyHeading - basicOpKey unicodeAllowed - arrowsKey' arrowOperatorsToShow + pure() + ) when inputHelp $ paragraph $ indent $ do translate $ do From 6038bdf8cb545c8f9e19655dc6a1fd09911880eb Mon Sep 17 00:00:00 2001 From: fmi Date: Wed, 1 Jul 2026 15:33:09 +0200 Subject: [PATCH 2/4] add collapsed Notationshinweise --- flex/findliar.flex | 12 +++++++++--- flex/proplogic.flex | 12 +++++++++--- src/LogicTasks/Syntax/ComposeFormula.hs | 13 ++++++------- src/LogicTasks/Syntax/DecomposeFormula.hs | 13 ++++++++++--- src/LogicTasks/Syntax/SubTreeSet.hs | 18 ++++++++++++------ 5 files changed, 46 insertions(+), 22 deletions(-) diff --git a/flex/findliar.flex b/flex/findliar.flex index 6f8bf17c..e3cd448c 100644 --- a/flex/findliar.flex +++ b/flex/findliar.flex @@ -365,9 +365,15 @@ description _ TaskData{..} = do paragraph $ text ("Verwenden Sie dabei die atomaren Formeln A, B, C mit der Interpretation, " ++ "dass eine Zuordnung von 'wahr' dafür steht, dass die entsprechende Person die Wahrheit sagt.") - keyHeading - basicOpKey True - arrowsKey + collapsed True (translations $ do + english "Notes on notation:" + german "Notationshinweise:") + (do + keyHeading + basicOpKey True + arrowsKey + pure() + ) pure () diff --git a/flex/proplogic.flex b/flex/proplogic.flex index 55365c7c..4509a42f 100644 --- a/flex/proplogic.flex +++ b/flex/proplogic.flex @@ -395,9 +395,15 @@ description _ (legend,hints,_) = do "Geben Sie diese Formel in das entsprechend benannte Textfeld ein. " ++ "Verwenden Sie dabei die atomaren Formeln A, B, C, D mit der Interpretation, " ++ "dass eine Zuordnung von 'wahr' dafür steht, dass die entsprechende Person mitkommt." - keyHeading - basicOpKey True - arrowsKey + collapsed True (translations $ do + english "Notes on notation:" + german "Notationshinweise:") + (do + keyHeading + basicOpKey True + arrowsKey + pure() + ) paragraph $ text $ "Wer geht mit Eva zum Konzert? Leiten Sie Ihr Ergebnis mittels Wahrheitstafel her. " ++ "Kreuzen Sie dann alle Begleitenden in der Namensliste an." diff --git a/src/LogicTasks/Syntax/ComposeFormula.hs b/src/LogicTasks/Syntax/ComposeFormula.hs index 03b20dea..13b04b37 100644 --- a/src/LogicTasks/Syntax/ComposeFormula.hs +++ b/src/LogicTasks/Syntax/ComposeFormula.hs @@ -73,18 +73,17 @@ description inputHelp path ComposeFormulaInst{..} = do german $ "Bilden Sie für die beiden entstehenden Bäume die repräsentierenden Formeln" ++ onListsGer ++ ". " german $ "Es spielt keine Rolle, in welcher Reihenfolge die Formeln " ++ onOrderGer ++ "." + instruct $ do + english "(You are allowed to add arbitrarily many additional pairs of brackets in the formulas.)" + german "(In den Formeln dürfen Sie beliebig viele zusätzliche Klammerpaare hinzufügen.)" + collapsed True (translations $ do - english "Additional hints:" - german "Weitere Hinweise:") + english "Notes on notation:" + german "Notationshinweise:") (do - instruct $ do - english "(You are allowed to add arbitrarily many additional pairs of brackets in the formulas.)" - german "(In den Formeln dürfen Sie beliebig viele zusätzliche Klammerpaare hinzufügen.)" - keyHeading basicOpKey unicodeAllowed arrowsKey' arrowOperatorsToShow - pure() ) diff --git a/src/LogicTasks/Syntax/DecomposeFormula.hs b/src/LogicTasks/Syntax/DecomposeFormula.hs index 588dd5ad..a8d852ad 100644 --- a/src/LogicTasks/Syntax/DecomposeFormula.hs +++ b/src/LogicTasks/Syntax/DecomposeFormula.hs @@ -13,6 +13,7 @@ import Control.OutputCapable.Blocks ( OutputCapable, extra, ($=<<), + collapsed, english, german, localise, @@ -53,9 +54,15 @@ description DecomposeFormulaInst{..} = do english "(You are allowed to add arbitrarily many additional pairs of brackets in the formula.)" german "(In der Formel dürfen Sie beliebig viele zusätzliche Klammerpaare hinzufügen.)" - keyHeading - basicOpKey unicodeAllowed - arrowsKey' arrowOperatorsToShow + collapsed True (translations $ do + english "Notes on notation:" + german "Notationshinweise:") + (do + keyHeading + basicOpKey unicodeAllowed + arrowsKey' arrowOperatorsToShow + pure() + ) paragraph $ indent $ do translate $ do diff --git a/src/LogicTasks/Syntax/SubTreeSet.hs b/src/LogicTasks/Syntax/SubTreeSet.hs index 1e2f09e8..ad67d94d 100644 --- a/src/LogicTasks/Syntax/SubTreeSet.hs +++ b/src/LogicTasks/Syntax/SubTreeSet.hs @@ -72,12 +72,18 @@ description withListInput SubTreeInst{..} = do pure () paragraph $ translate $ do - german "Sie können dafür die ursprüngliche Formel mehrfach in die Abgabe kopieren und Teile entfernen oder leer starten." - english "You can copy the original formula into the submission several times and remove parts or start from scratch." - - keyHeading - basicOpKey unicodeAllowed - arrowsKey' arrowOperatorsToShow + german "Sie können dafür die ursprüngliche Formel mehrfach in die Abgabe kopieren und Teile entfernen, oder leer startend die folgenden Schreibweisen nutzen:" + english "You can copy the original formula into the submission several times and remove parts, or start from scratch and use the following syntax:" + + collapsed True (translations $ do + english "Notes on notation:" + german "Notationshinweise:") + (do + keyHeading + basicOpKey unicodeAllowed + arrowsKey' arrowOperatorsToShow + pure() + ) extra addText pure () From 9d57023c555db88d9cdab01d64a6a13d18ac712b Mon Sep 17 00:00:00 2001 From: fmi Date: Wed, 22 Jul 2026 10:48:29 +0200 Subject: [PATCH 3/4] apply feedback --- flex/findliar.flex | 1 - flex/proplogic.flex | 1 - src/LogicTasks/Syntax/SubTreeSet.hs | 4 ++-- 3 files changed, 2 insertions(+), 4 deletions(-) diff --git a/flex/findliar.flex b/flex/findliar.flex index e3cd448c..35437f98 100644 --- a/flex/findliar.flex +++ b/flex/findliar.flex @@ -369,7 +369,6 @@ description _ TaskData{..} = do english "Notes on notation:" german "Notationshinweise:") (do - keyHeading basicOpKey True arrowsKey pure() diff --git a/flex/proplogic.flex b/flex/proplogic.flex index 4509a42f..08c6cdf0 100644 --- a/flex/proplogic.flex +++ b/flex/proplogic.flex @@ -399,7 +399,6 @@ description _ (legend,hints,_) = do english "Notes on notation:" german "Notationshinweise:") (do - keyHeading basicOpKey True arrowsKey pure() diff --git a/src/LogicTasks/Syntax/SubTreeSet.hs b/src/LogicTasks/Syntax/SubTreeSet.hs index ad67d94d..384e9946 100644 --- a/src/LogicTasks/Syntax/SubTreeSet.hs +++ b/src/LogicTasks/Syntax/SubTreeSet.hs @@ -72,8 +72,8 @@ description withListInput SubTreeInst{..} = do pure () paragraph $ translate $ do - german "Sie können dafür die ursprüngliche Formel mehrfach in die Abgabe kopieren und Teile entfernen, oder leer startend die folgenden Schreibweisen nutzen:" - english "You can copy the original formula into the submission several times and remove parts, or start from scratch and use the following syntax:" + german "Sie können dafür die ursprüngliche Formel mehrfach in die Abgabe kopieren und Teile entfernen oder leer starten. + english "You can copy the original formula into the submission several times and remove parts or start from scratch." collapsed True (translations $ do english "Notes on notation:" From be4e78f07259d5da9db8b05f24c4f8dc1427bcb1 Mon Sep 17 00:00:00 2001 From: fmi Date: Wed, 22 Jul 2026 10:50:08 +0200 Subject: [PATCH 4/4] fix typo --- src/LogicTasks/Syntax/SubTreeSet.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/LogicTasks/Syntax/SubTreeSet.hs b/src/LogicTasks/Syntax/SubTreeSet.hs index 384e9946..f6950004 100644 --- a/src/LogicTasks/Syntax/SubTreeSet.hs +++ b/src/LogicTasks/Syntax/SubTreeSet.hs @@ -72,7 +72,7 @@ description withListInput SubTreeInst{..} = do pure () paragraph $ translate $ do - german "Sie können dafür die ursprüngliche Formel mehrfach in die Abgabe kopieren und Teile entfernen oder leer starten. + german "Sie können dafür die ursprüngliche Formel mehrfach in die Abgabe kopieren und Teile entfernen oder leer starten." english "You can copy the original formula into the submission several times and remove parts or start from scratch." collapsed True (translations $ do