summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/stex/tex/ldf
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2023-03-22 03:01:52 +0000
committerNorbert Preining <norbert@preining.info>2023-03-22 03:01:52 +0000
commitcbbc6dbdbf08b70a7e7d8d184ca51c57c835415a (patch)
tree97ded8ca7095c54f6ff9b661be6b93f80bf792c4 /macros/latex/contrib/stex/tex/ldf
parentde9a0afa47c2ee09e1d4704821cad2b231d36b3f (diff)
CTAN sync 202303220301
Diffstat (limited to 'macros/latex/contrib/stex/tex/ldf')
-rw-r--r--macros/latex/contrib/stex/tex/ldf/hwexam-english.ldf11
-rw-r--r--macros/latex/contrib/stex/tex/ldf/hwexam-finnish.ldf22
-rw-r--r--macros/latex/contrib/stex/tex/ldf/hwexam-french.ldf22
-rw-r--r--macros/latex/contrib/stex/tex/ldf/hwexam-ngerman.ldf24
-rw-r--r--macros/latex/contrib/stex/tex/ldf/hwexam-russian.ldf22
-rw-r--r--macros/latex/contrib/stex/tex/ldf/problem-english.ldf9
-rw-r--r--macros/latex/contrib/stex/tex/ldf/problem-finnish.ldf13
-rw-r--r--macros/latex/contrib/stex/tex/ldf/problem-french.ldf13
-rw-r--r--macros/latex/contrib/stex/tex/ldf/problem-ngerman.ldf21
-rw-r--r--macros/latex/contrib/stex/tex/ldf/problem-russian.ldf17
-rw-r--r--macros/latex/contrib/stex/tex/ldf/sproof-finnish.ldf14
-rw-r--r--macros/latex/contrib/stex/tex/ldf/sproof-french.ldf14
-rw-r--r--macros/latex/contrib/stex/tex/ldf/sproof-ngerman.ldf13
-rw-r--r--macros/latex/contrib/stex/tex/ldf/sproof-russian.ldf13
-rw-r--r--macros/latex/contrib/stex/tex/ldf/stex-en.ldf134
15 files changed, 232 insertions, 130 deletions
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 <jukka.kohonen@aalto.fi>
-% 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 <samuel.lelievre@gmail.com>
-% 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