From cbbc6dbdbf08b70a7e7d8d184ca51c57c835415a Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Wed, 22 Mar 2023 03:01:52 +0000 Subject: CTAN sync 202303220301 --- .../latex/contrib/stex/tex/ldf/hwexam-english.ldf | 11 ++ .../latex/contrib/stex/tex/ldf/hwexam-finnish.ldf | 22 ++-- .../latex/contrib/stex/tex/ldf/hwexam-french.ldf | 22 ++-- .../latex/contrib/stex/tex/ldf/hwexam-ngerman.ldf | 24 ++-- .../latex/contrib/stex/tex/ldf/hwexam-russian.ldf | 22 ++-- .../latex/contrib/stex/tex/ldf/problem-english.ldf | 9 ++ .../latex/contrib/stex/tex/ldf/problem-finnish.ldf | 13 +- .../latex/contrib/stex/tex/ldf/problem-french.ldf | 13 +- .../latex/contrib/stex/tex/ldf/problem-ngerman.ldf | 21 ++-- .../latex/contrib/stex/tex/ldf/problem-russian.ldf | 17 +-- .../latex/contrib/stex/tex/ldf/sproof-finnish.ldf | 14 --- .../latex/contrib/stex/tex/ldf/sproof-french.ldf | 14 --- .../latex/contrib/stex/tex/ldf/sproof-ngerman.ldf | 13 -- .../latex/contrib/stex/tex/ldf/sproof-russian.ldf | 13 -- macros/latex/contrib/stex/tex/ldf/stex-en.ldf | 134 +++++++++++++++++++++ 15 files changed, 232 insertions(+), 130 deletions(-) create mode 100644 macros/latex/contrib/stex/tex/ldf/hwexam-english.ldf create mode 100644 macros/latex/contrib/stex/tex/ldf/problem-english.ldf delete mode 100644 macros/latex/contrib/stex/tex/ldf/sproof-finnish.ldf delete mode 100644 macros/latex/contrib/stex/tex/ldf/sproof-french.ldf delete mode 100644 macros/latex/contrib/stex/tex/ldf/sproof-ngerman.ldf delete mode 100644 macros/latex/contrib/stex/tex/ldf/sproof-russian.ldf create mode 100644 macros/latex/contrib/stex/tex/ldf/stex-en.ldf (limited to 'macros/latex/contrib/stex/tex/ldf') diff --git a/macros/latex/contrib/stex/tex/ldf/hwexam-english.ldf b/macros/latex/contrib/stex/tex/ldf/hwexam-english.ldf new file mode 100644 index 0000000000..e6c4e13885 --- /dev/null +++ b/macros/latex/contrib/stex/tex/ldf/hwexam-english.ldf @@ -0,0 +1,11 @@ +\tl_set:Nn\assignmentautorefname{Assignment} +\tl_set:Nn\hwexam@kw@given{Given} +\tl_set:Nn\hwexam@kw@due{Due} +\tl_set:Nn\hwexam@kw@testemptypage{This~page~was~intentionally~left~blank~for~extra~space} +\tl_set:Nn\hwexam@minutes@kw{minutes} +\tl_set:Nn\hwexam@kw@probs{prob.} +\tl_set:Nn\hwexam@kw@pts{total} +\tl_set:Nn\hwexam@kw@reached{reached} +\tl_set:Nn\hwexam@kw@sum{Sum} +\tl_set:Nn\hwexam@kw@grade{grade} +\tl_set:Nn\hwexam@kw@forgrading{To~be~used~for~grading,~do~not~write~here} \ No newline at end of file diff --git a/macros/latex/contrib/stex/tex/ldf/hwexam-finnish.ldf b/macros/latex/contrib/stex/tex/ldf/hwexam-finnish.ldf index 92454d2b2c..9b465e674a 100644 --- a/macros/latex/contrib/stex/tex/ldf/hwexam-finnish.ldf +++ b/macros/latex/contrib/stex/tex/ldf/hwexam-finnish.ldf @@ -7,15 +7,13 @@ % The original of this file is in the public repository at % http://github.com/sLaTeX/sTeX/ -\g@addto@macro\captionsfinnish{ -\def\hwexam@assignment@kw{Kotitehtävä} -\def\hwexam@given@kw{Annettu} -\def\hwexam@due@kw{Palautettava} -\def\correction@forgrading@kw{Käytetään arvosteluun, älä kirjoita tähän!} -\def\hwexam@testemptypage@kw{Tämä sivu on tarkoituksellisesti tyhjä} -\def\correction@probs@kw{Tehtävä}% -\def\correction@pts@kw{Maksimi}% -\def\correction@reached@kw{Pisteet}% -\def\correction@sum@kw{Summa}% -\def\correction@grade@kw{Arvosana}% -} +\tl_set:Nn\assignmentautorefname{Kotitehtävä} +\tl_set:Nn\hwexam@given@kw{Annettu} +\tl_set:Nn\hwexam@due@kw{Palautettava} +\tl_set:Nn\correction@forgrading@kw{Käytetään~arvosteluun,~älä~kirjoita~tähän!} +\tl_set:Nn\hwexam@testemptypage@kw{Tämä~sivu~on~tarkoituksellisesti~tyhjä} +\tl_set:Nn\correction@probs@kw{Tehtävä}% +\tl_set:Nn\correction@pts@kw{Maksimi}% +\tl_set:Nn\correction@reached@kw{Pisteet}% +\tl_set:Nn\correction@sum@kw{Summa}% +\tl_set:Nn\correction@grade@kw{Arvosana}% \ No newline at end of file diff --git a/macros/latex/contrib/stex/tex/ldf/hwexam-french.ldf b/macros/latex/contrib/stex/tex/ldf/hwexam-french.ldf index 23992740cd..cc79e4c916 100644 --- a/macros/latex/contrib/stex/tex/ldf/hwexam-french.ldf +++ b/macros/latex/contrib/stex/tex/ldf/hwexam-french.ldf @@ -7,15 +7,13 @@ % The original of this file is in the public repository at % http://github.com/sLaTeX/sTeX/ -\g@addto@macro\captionsfrench{ -\def\hwexam@assignment@kw{Devoir} -\def\hwexam@given@kw{Distribué} -\def\hwexam@due@kw{À rendre} -\def\correction@forgrading@kw{Réservé pour la correction} -\def\hwexam@testemptypage@kw{Page laissée blanche exprès} -\def\correction@probs@kw{Pb}% -\def\correction@pts@kw{pt}% -\def\correction@reached@kw{Score}% -\def\correction@sum@kw{Total}% -\def\correction@grade@kw{Note}% -} +\tl_set:Nn\assignmentautorefname{Devoir} +\tl_set:Nn\hwexam@given@kw{Distribué} +\tl_set:Nn\hwexam@due@kw{À~rendre} +\tl_set:Nn\correction@forgrading@kw{Réservé~pour~la~correction} +\tl_set:Nn\hwexam@testemptypage@kw{Page~laissée~blanche~exprès} +\tl_set:Nn\correction@probs@kw{Pb}% +\tl_set:Nn\correction@pts@kw{pt}% +\tl_set:Nn\correction@reached@kw{Score}% +\tl_set:Nn\correction@sum@kw{Total}% +\tl_set:Nn\correction@grade@kw{Note}% diff --git a/macros/latex/contrib/stex/tex/ldf/hwexam-ngerman.ldf b/macros/latex/contrib/stex/tex/ldf/hwexam-ngerman.ldf index 31af25aba8..04116d6dfa 100644 --- a/macros/latex/contrib/stex/tex/ldf/hwexam-ngerman.ldf +++ b/macros/latex/contrib/stex/tex/ldf/hwexam-ngerman.ldf @@ -6,16 +6,14 @@ % The original of this file is in the public repository at % http://github.com/sLaTeX/sTeX/ -\g@addto@macro\captionsngerman{ -\def\hwexam@assignment@kw{Hausaufgabe} -\def\hwexam@given@kw{Ausgegeben} -\def\hwexam@due@kw{Abgabetermin} -\def\hwexam@minutes@kw{Minuten} -\def\correction@forgrading@kw{Nur zur Korrektur, bitte freilassen!} -\def\hwexam@testemptypage@kw{Diese Seite wurde für mehr Platz absichtlich leer gelassen.} -\def\correction@probs@kw{Aufgabe}% -\def\correction@pts@kw{M\"oglich}% -\def\correction@reached@kw{Erreicht}% -\def\correction@sum@kw{Summe}% -\def\correction@grade@kw{Note}% -} +\tl_set:Nn\assignmentautorefname{Hausaufgabe} +\tl_set:Nn\hwexam@given@kw{Ausgegeben} +\tl_set:Nn\hwexam@due@kw{Abgabetermin} +\tl_set:Nn\hwexam@minutes@kw{Minuten} +\tl_set:Nn\correction@forgrading@kw{Nur~zur~Korrektur,~bitte~freilassen!} +\tl_set:Nn\hwexam@testemptypage@kw{Diese~Seite~wurde~für~mehr~Platz~absichtlich~leer~gelassen.} +\tl_set:Nn\correction@probs@kw{Aufgabe}% +\tl_set:Nn\correction@pts@kw{M\"oglich}% +\tl_set:Nn\correction@reached@kw{Erreicht}% +\tl_set:Nn\correction@sum@kw{Summe}% +\tl_set:Nn\correction@grade@kw{Note}% \ No newline at end of file diff --git a/macros/latex/contrib/stex/tex/ldf/hwexam-russian.ldf b/macros/latex/contrib/stex/tex/ldf/hwexam-russian.ldf index 6da7c9e8cb..2edd230573 100644 --- a/macros/latex/contrib/stex/tex/ldf/hwexam-russian.ldf +++ b/macros/latex/contrib/stex/tex/ldf/hwexam-russian.ldf @@ -6,15 +6,13 @@ % The original of this file is in the public repository at % http://github.com/sLaTeX/sTeX/ -\g@addto@macro\captionsrussian{ -\def\hwexam@assignment@kw{Домашнее задание} -\def\hwexam@given@kw{Дано} -\def\hwexam@due@kw{Дата сдачи} -\def\correction@forgrading@kw{Для исправлений. Пожалуйста, оставьте свободное место!} -\def\hwexam@testemptypage@kw{Эта страница преднамеренно оставлена пустой для дополнительных записей.} -\def\correction@probs@kw{Задание}% -\def\correction@pts@kw{Максимальный балл}% -\def\correction@reached@kw{Ваш балл}% -\def\correction@sum@kw{Общий балл}% -\def\correction@grade@kw{Отметка}% -} +\tl_set:Nn\assignmentautorefname{Домашнее~задание} +\tl_set:Nn\hwexam@given@kw{Дано} +\tl_set:Nn\hwexam@due@kw{Дата~сдачи} +\tl_set:Nn\correction@forgrading@kw{Для~исправлений.~Пожалуйста,~оставьте~свободное~место!} +\tl_set:Nn\hwexam@testemptypage@kw{Эта~страница~преднамеренно~оставлена~пустой~для~дополнительных~записей.} +\tl_set:Nn\correction@probs@kw{Задание}% +\tl_set:Nn\correction@pts@kw{Максимальный~балл}% +\tl_set:Nn\correction@reached@kw{Ваш~балл}% +\tl_set:Nn\correction@sum@kw{Общий~балл}% +\tl_set:Nn\correction@grade@kw{Отметка}% diff --git a/macros/latex/contrib/stex/tex/ldf/problem-english.ldf b/macros/latex/contrib/stex/tex/ldf/problem-english.ldf new file mode 100644 index 0000000000..bd202814e6 --- /dev/null +++ b/macros/latex/contrib/stex/tex/ldf/problem-english.ldf @@ -0,0 +1,9 @@ +\tl_set:Nn \sproblemautorefname{Problem} +\tl_set:Nn \problem@kw@solution{Solution} +\tl_set:Nn \problem@kw@hint{Hint} +\tl_set:Nn \problem@kw@note{Note} +\tl_set:Nn \problem@kw@grading{Grading} +\tl_set:Nn \problem@kw@points{pt} +\tl_set:Nn \problem@kw@minutes{min} +\tl_set:Nn \problem@kw@correct{Correct} +\tl_set:Nn \problem@kw@wrong{Wrong} \ No newline at end of file diff --git a/macros/latex/contrib/stex/tex/ldf/problem-finnish.ldf b/macros/latex/contrib/stex/tex/ldf/problem-finnish.ldf index 3619f283a0..11fc490c4a 100644 --- a/macros/latex/contrib/stex/tex/ldf/problem-finnish.ldf +++ b/macros/latex/contrib/stex/tex/ldf/problem-finnish.ldf @@ -7,7 +7,12 @@ % The original of this file is in the public repository at % http://github.com/sLaTeX/sTeX/ -\g@addto@macro\captionsfinnish{ -\def\prob@problem@kw{Tehtävä} -\def\prob@solution@kw{Ratkaisu} -} +\tl_set:Nn \sproblemautorefname{Tehtävä} +\tl_set:Nn \problem@kw@solution{Ratkaisu} +\tl_set:Nn \problem@kw@hint{Hint} +\tl_set:Nn \problem@kw@note{Note} +\tl_set:Nn \problem@kw@grading{Grading} +\tl_set:Nn \problem@kw@points{pt} +\tl_set:Nn \problem@kw@minutes{min} +\tl_set:Nn \problem@kw@correct{Correct} +\tl_set:Nn \problem@kw@wrong{Wrong} diff --git a/macros/latex/contrib/stex/tex/ldf/problem-french.ldf b/macros/latex/contrib/stex/tex/ldf/problem-french.ldf index 80d577c481..bdcae874b2 100644 --- a/macros/latex/contrib/stex/tex/ldf/problem-french.ldf +++ b/macros/latex/contrib/stex/tex/ldf/problem-french.ldf @@ -7,7 +7,12 @@ % The original of this file is in the public repository at % http://github.com/sLaTeX/sTeX/ -\g@addto@macro\captionsfrench{ -\def\prob@problem@kw{Problème} -\def\prob@solution@kw{Solution} -} +\tl_set:Nn \sproblemautorefname{Problème} +\tl_set:Nn \problem@kw@solution{Solution} +\tl_set:Nn \problem@kw@hint{Hint} +\tl_set:Nn \problem@kw@note{Note} +\tl_set:Nn \problem@kw@grading{Grading} +\tl_set:Nn \problem@kw@points{pt} +\tl_set:Nn \problem@kw@minutes{min} +\tl_set:Nn \problem@kw@correct{Correct} +\tl_set:Nn \problem@kw@wrong{Wrong} diff --git a/macros/latex/contrib/stex/tex/ldf/problem-ngerman.ldf b/macros/latex/contrib/stex/tex/ldf/problem-ngerman.ldf index 6cadab0850..0747555783 100644 --- a/macros/latex/contrib/stex/tex/ldf/problem-ngerman.ldf +++ b/macros/latex/contrib/stex/tex/ldf/problem-ngerman.ldf @@ -6,14 +6,13 @@ % The original of this file is in the public repository at % http://github.com/sLaTeX/sTeX/ -\g@addto@macro\captionsngerman{ -\def\prob@problem@kw{Aufgabe} -\def\prob@solution@kw{Lösung} -\def\prob@hint@kw{Hinweis} -\def\prob@note@kw{Bemerkung} -\def\prob@note@kw{Bewertung} -\def\prob@pt@kw{Pkt} -\def\prob@min@kw{Min} -\def\prob@correct@kw{Korrekt} -\def\prob@wrong@kw{Falsch} -} +\tl_set:Nn \sproblemautorefname{Aufgabe} +\tl_set:Nn \problem@kw@solution{Lösung} +\tl_set:Nn \problem@kw@hint{Hinweis} +\tl_set:Nn \problem@kw@note{Bemerkung} +\tl_set:Nn \problem@kw@grading{Bewertung} +\tl_set:Nn \problem@kw@points{Pkt} +\tl_set:Nn \problem@kw@minutes{Min} +\tl_set:Nn \problem@kw@correct{Korrekt} +\tl_set:Nn \problem@kw@wrong{Falsch} + diff --git a/macros/latex/contrib/stex/tex/ldf/problem-russian.ldf b/macros/latex/contrib/stex/tex/ldf/problem-russian.ldf index d27d8ffabc..f0a08c7761 100644 --- a/macros/latex/contrib/stex/tex/ldf/problem-russian.ldf +++ b/macros/latex/contrib/stex/tex/ldf/problem-russian.ldf @@ -6,11 +6,12 @@ % The original of this file is in the public repository at % http://github.com/sLaTeX/sTeX/ -\g@addto@macro\captionsrussian{ -\def\prob@problem@kw{Задание} -\def\prob@solution@kw{Решение} -\def\prob@hint@kw{Подсказка} -\def\prob@note@kw{Примечание} -\def\prob@pt@kw{бл} -\def\prob@min@kw{мин} -} +\tl_set:Nn \sproblemautorefname{Задание} +\tl_set:Nn \problem@kw@solution{Решение} +\tl_set:Nn \problem@kw@hint{Подсказка} +\tl_set:Nn \problem@kw@note{Примечание} +\tl_set:Nn \problem@kw@grading{Grading} +\tl_set:Nn \problem@kw@points{бл} +\tl_set:Nn \problem@kw@minutes{мин} +\tl_set:Nn \problem@kw@correct{Correct} +\tl_set:Nn \problem@kw@wrong{Wrong} \ No newline at end of file diff --git a/macros/latex/contrib/stex/tex/ldf/sproof-finnish.ldf b/macros/latex/contrib/stex/tex/ldf/sproof-finnish.ldf deleted file mode 100644 index 3ab1f02690..0000000000 --- a/macros/latex/contrib/stex/tex/ldf/sproof-finnish.ldf +++ /dev/null @@ -1,14 +0,0 @@ -% Finnish Language Bindings for the sTeX sproof package -% Translations thanks to Jukka Kohonen -% Copyright (c) 2019 Michael Kohlhase, all rights reserved -% this file is released under the -% LaTeX Project Public License (LPPL) -% -% The original of this file is in the public repository at -% http://github.com/sLaTeX/sTeX/ - -\g@addto@macro\captionsfinnish{ -\def\spf@proofsketch@kw{Todistusidea} -\def\spf@proof@kw{Todistus} -\def\spf@step@kw{Askel} -} diff --git a/macros/latex/contrib/stex/tex/ldf/sproof-french.ldf b/macros/latex/contrib/stex/tex/ldf/sproof-french.ldf deleted file mode 100644 index 8425e0d4a8..0000000000 --- a/macros/latex/contrib/stex/tex/ldf/sproof-french.ldf +++ /dev/null @@ -1,14 +0,0 @@ -% French Language Bindings for the sTeX sproof package -% Translations thanks to Samuel Lelièvre -% Copyright (c) 2019 Michael Kohlhase, all rights reserved -% this file is released under the -% LaTeX Project Public License (LPPL) -% -% The original of this file is in the public repository at -% http://github.com/sLaTeX/sTeX/ - -\g@addto@macro\captionsfrench{ -\def\spf@proofsketch@kw{Esquisse de démonstration} -\def\spf@proof@kw{Démonstration} -\def\spf@step@kw{Étape} -} diff --git a/macros/latex/contrib/stex/tex/ldf/sproof-ngerman.ldf b/macros/latex/contrib/stex/tex/ldf/sproof-ngerman.ldf deleted file mode 100644 index 5bd1024eba..0000000000 --- a/macros/latex/contrib/stex/tex/ldf/sproof-ngerman.ldf +++ /dev/null @@ -1,13 +0,0 @@ -% German Language Bindings for the sTeX sproof package -% Copyright (c) 2019 Michael Kohlhase, all rights reserved -% this file is released under the -% LaTeX Project Public License (LPPL) -% -% The original of this file is in the public repository at -% http://github.com/sLaTeX/sTeX/ - -\g@addto@macro\captionsngerman{ -\def\spf@proofsketch@kw{Beweisskizze} -\def\spf@proof@kw{Beweis} -\def\spf@step@kw{Schritt} -} diff --git a/macros/latex/contrib/stex/tex/ldf/sproof-russian.ldf b/macros/latex/contrib/stex/tex/ldf/sproof-russian.ldf deleted file mode 100644 index 314cee130b..0000000000 --- a/macros/latex/contrib/stex/tex/ldf/sproof-russian.ldf +++ /dev/null @@ -1,13 +0,0 @@ -% Russian Language Bindings for the sTeX sproof package -% Copyright (c) 2019 Michael Kohlhase, all rights reserved -% this file is released under the -% LaTeX Project Public License (LPPL) -% -% The original of this file is in the public repository at -% http://github.com/sLaTeX/sTeX/ - -\g@addto@macro\captionsrussian{ -\def\spf@proofsketch@kw{Набросок доказательства} -\def\spf@proof@kw{Доказательство} -\def\spf@step@kw{Шаг} -} diff --git a/macros/latex/contrib/stex/tex/ldf/stex-en.ldf b/macros/latex/contrib/stex/tex/ldf/stex-en.ldf new file mode 100644 index 0000000000..1501a92c82 --- /dev/null +++ b/macros/latex/contrib/stex/tex/ldf/stex-en.ldf @@ -0,0 +1,134 @@ +\msg_set:nnn{stex}{error/unknownlanguage}{ + Unknown~language:~#1 +} +\msg_set:nnn{stex}{warning/nomathhub}{ + MATHHUB~system~variable~not~found~and~no~ + \tl_to_str:n{\mathhub}-value~set! +} +\msg_set:nnn{stex}{error/deactivated-macro}{ + The~\tl_to_str:n{#1}~command~is~only~allowed~in~#2! +} +\msg_set:nnn{stex}{error/metagroup/missing}{ + No~metagroup~by~ID~#1 +} +\msg_set:nnn{stex}{error/noarchive}{ + No~archive~#1~found~in~#2 +} +\msg_set:nnn{stex}{error/notinarchive}{ + Not~currently~in~an~archive,~but~\tl_to_str:n{#1}~ + needs~one! +} +\msg_set:nnn{stex}{error/nofile}{ + \tl_to_str:n{#1}~could~not~find~file~#2 +} +\msg_set:nnn{stex}{error/twofiles}{ + \tl_to_str:n{#1}~found~two~candidates~for~#2 +} +\msg_set:nnn{stex}{error/invalid-uri}{ + Invalid~URI:~#1~(#2) +} +\msg_set:nnn{stex}{error/misused-uri}{ + Misused~URI:~#1 +} +\msg_set:nnn{stex}{error/invalid-dpath}{ + Not~a~namespace~URI:~#1 +} +\msg_set:nnn{stex}{error/extrefmissing}{ + Missing~in~or~cite~value~for~\detokenize{\extref}! +} +\msg_set:nnn{stex}{warning/smsmissing}{ + .sref~file~#1~doesn't~exist! +} +\msg_set:nnn{stex}{warning/smslabelmissing}{ + No~label~#2~in~.sref~file~#1! +} +\msg_set:nnn{stex}{error/unknownmodule}{ + No~module~#1~found +} +\msg_set:nnn{stex}{error/unknownstructure}{ + No~mathstructure~#1~found +} +\msg_set:nnn{stex}{error/syntax}{ + Syntax~error:~#1 +} +\msg_set:nnn{stex}{error/siglanguage}{ + Module~#1~declares~signature~#2,~but~does~not~ + declare~its~language +} +\msg_set:nnn{stex}{warning/deprecated}{ + #1~is~deprecated;~please~use~#2~instead! +} +\msg_set:nnn{stex}{error/conflictingmodules}{ + Conflicting~imports~for~module~#1 +} +\msg_set:nnn{stex}{error/misused-importmodule}{ + Misused~Importmodule~statement:~#1 +} +\msg_set:nnn{stex}{error/wrongargs}{ + args~value~in~symbol~declaration~for~#1~ + needs~to~be~i,~a,~b~or~B,~but~#2~given +} +\msg_set:nnn{stex}{error/unknownsymbol}{ + No~symbol~#1~found! +} +\msg_set:nnn{stex}{error/seqlength}{ + Expected~#1~arguments;~got~#2! +} +\msg_set:nnn{stex}{error/unknownnotation}{ + Unknown~notation~#1~for~#2! +} +\msg_set:nnn{stex}{error/nonotation}{ + Symbol~#1~invoked,~but~has~no~notation#2! +} +\msg_set:nnn{stex}{error/notationarg}{ + Error~in~parsing~notation~#1 +} +\msg_set:nnn{stex}{error/noop}{ + Symbol~#1~has~no~operator~notation~for~notation~#2 +} +\msg_set:nnn{stex}{error/notallowed}{ + Symbol~invokation~#1~not~allowed~in~notation~component~of~#2 +} +\msg_set:nnn{stex}{error/doubleargument}{ + Argument~#1~of~symbol~#2~already~assigned +} +\msg_set:nnn{stex}{error/overarity}{ + Argument~#1~invalid~for~symbol~#2~with~arity~#3 +} +\msg_set:nnn{stex}{error/notikz}{ + #1~requires~tikz~to~be~loaded +} +\msg_set:nnn{stex}{error/unknownsymbolin}{ + No~symbol~#1~found~in~#2! +} +\msg_set:nnn{stex}{error/symbolalreadydefined}{ + Symbol~#1~in~#2~already~defined! +} +\msg_set:nnn{stex}{error/assocarg}{ + First~argument~of~#1~needs~to~be~an~a-mode~or~B-mode~argument +} +\msg_set:nnn{stex}{error/invalidarg}{ + Invalid~argument~#1~(already~provided~or~does~not~exist~ + for~#2) +} +\msg_set:nnn{stex}{error/needsdefiniens}{ + Symbol~#1~needs~to~be~defined~in~#2 +} +\msg_set:nnn{stex}{error/unknownfield}{ + mathstructure~(instance)~has~no~component~"#1" +} +\msg_set:nnn{stex}{error/unknownfieldass}{ + mathstructure~has~no~component~"#1";~can~not~assign +} +\msg_set:nnn{stex}{error/definiensfor}{ + \definiens~macro:~unclear~which~symbol~is~being~defined +} +\msg_set:nnn{stex}{error/conclusionfor}{ + \conclusion~macro:~unclear~which~assertion~is~being~concluded +} +\msg_set:nnn{stex}{error/nomorphism}{ + No~morphism~#1~found~in~domain~of~morphism +} +\str_set:Nn \spfsketchenvautorefname {Proof~sketch} +\str_set:Nn \sproofautorefname {Proof} +\str_set:Nn \spfstepautorefname {Proof~step} \ No newline at end of file -- cgit v1.2.3