summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/stex/tex
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/stex/tex')
-rw-r--r--macros/latex/contrib/stex/tex/etc/beamernotesthemesTeX.sty14
-rw-r--r--macros/latex/contrib/stex/tex/etc/beamerthemesTeX.sty61
-rw-r--r--macros/latex/contrib/stex/tex/etc/hwexam-default.header30
-rw-r--r--macros/latex/contrib/stex/tex/etc/lststex.sty45
-rw-r--r--macros/latex/contrib/stex/tex/etc/rustex.sty67
-rw-r--r--macros/latex/contrib/stex/tex/etc/stexthm.sty45
-rw-r--r--macros/latex/contrib/stex/tex/img/cc-by-sa.pngbin0 -> 5083 bytes
-rw-r--r--macros/latex/contrib/stex/tex/img/cc_somerights.pngbin0 -> 1082 bytes
-rw-r--r--macros/latex/contrib/stex/tex/img/dangerous-bend.pngbin0 -> 2117 bytes
-rw-r--r--macros/latex/contrib/stex/tex/img/sTeX-logo.pngbin0 -> 26566 bytes
-rw-r--r--macros/latex/contrib/stex/tex/ldf/hwexam-finnish.ldf21
-rw-r--r--macros/latex/contrib/stex/tex/ldf/hwexam-french.ldf21
-rw-r--r--macros/latex/contrib/stex/tex/ldf/hwexam-ngerman.ldf21
-rw-r--r--macros/latex/contrib/stex/tex/ldf/hwexam-russian.ldf20
-rw-r--r--macros/latex/contrib/stex/tex/ldf/omdoc-ngerman.ldf17
-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.ldf17
-rw-r--r--macros/latex/contrib/stex/tex/ldf/problem-russian.ldf16
-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
23 files changed, 475 insertions, 0 deletions
diff --git a/macros/latex/contrib/stex/tex/etc/beamernotesthemesTeX.sty b/macros/latex/contrib/stex/tex/etc/beamernotesthemesTeX.sty
new file mode 100644
index 0000000000..4ebba507ae
--- /dev/null
+++ b/macros/latex/contrib/stex/tex/etc/beamernotesthemesTeX.sty
@@ -0,0 +1,14 @@
+% Beamer sTeX notes theme;
+% Copyright (c) 2022 Michael Kohlhase <michael.kohlhase@fau.de>.
+\ProvidesPackage{beamernotesthemesTeX}
+\typeout{Beamer sTeX notes theme}
+\setbeamertemplate{theorem begin}
+{%
+ \inserttheoremheadfont
+ \inserttheoremname
+ \inserttheoremnumber
+ \ifx \inserttheoremaddition \empty \else\ (\inserttheoremaddition)\fi
+ \inserttheorempunctuation\xspace
+ \inserttheorembodyfont
+}
+\setbeamertemplate{theorem end}{}
diff --git a/macros/latex/contrib/stex/tex/etc/beamerthemesTeX.sty b/macros/latex/contrib/stex/tex/etc/beamerthemesTeX.sty
new file mode 100644
index 0000000000..f5cc87feb4
--- /dev/null
+++ b/macros/latex/contrib/stex/tex/etc/beamerthemesTeX.sty
@@ -0,0 +1,61 @@
+% Beamer sTeX slide theme;
+% Copyright (c) 20 Michael Kohlhase <michael.kohlhase@fau.de>.
+\ProvidesPackage{beamerthemesTeX}
+\typeout{Beamer sTeX theme}
+\RequirePackage{xspace}
+
+% General appearance of theorems, like "ams style", but without the block env.
+\setbeamertemplate{theorem begin}
+{%
+ \inserttheoremheadfont
+ \inserttheoremname
+ \inserttheoremnumber
+ \ifx \inserttheoremaddition \empty \else\ (\inserttheoremaddition)\fi
+ \inserttheorempunctuation\xspace
+ \inserttheorembodyfont
+}
+\setbeamertemplate{theorem end}{}
+
+% THEME
+\mode
+<presentation>
+
+%% Logo images
+\pgfdeclareimage[height=2ex]{instlogo}{sTeX-logo}
+\pgfdeclareimage[height=2ex]{cclogo}{cc_somerights}
+
+%% A simple frame title with a long rule under it.
+\setbeamertemplate{frametitle}{%
+ \usebeamerfont{frametitle}\insertframetitle\strut%
+ \vskip-.1\baselineskip%
+ \leaders\vrule width \paperwidth\vskip0.4pt%
+ \vskip0pt%
+ \nointerlineskip
+}
+
+%% A Footer line with a Institution and CC logos
+\setbeamertemplate{footline}[text line]{%
+ \usebeamercolor[fg]{titlelike}
+ \pgfuseimage{instlogo}\hspace*{1cm}\insertshortauthor: \insertshorttitle\hfill{}%
+ \insertframenumber\hfill\insertshortdate\hspace*{1cm}\pgfuseimage{cclogo}%
+ }
+
+%% Turn off the navigation symbols
+\setbeamertemplate{navigation symbols}{}
+
+%% Inner theme
+\useinnertheme{default}
+%\setbeamertemplate{enumerate item}{(\alph{enumi})}
+%\setbeamertemplate{enumerate subitem}{(\roman{enumii})}
+
+\mode
+<all>
+
+%% Redefine various margin sizes
+\setbeamersize{text margin left=3mm}
+\setbeamersize{text margin right=3mm}
+\setbeamersize{description width=0.57cm}
+\setlength\leftmargini{1em}
+\setlength\leftmarginii{1em}
+\setlength\leftmarginiii{1em}
+\providecommand{\vstretch}[1]{\vspace*{\stretch{#1}}}
diff --git a/macros/latex/contrib/stex/tex/etc/hwexam-default.header b/macros/latex/contrib/stex/tex/etc/hwexam-default.header
new file mode 100644
index 0000000000..f3ee390bf9
--- /dev/null
+++ b/macros/latex/contrib/stex/tex/etc/hwexam-default.header
@@ -0,0 +1,30 @@
+\noindent\large{}Name: \hfill%
+Matriculation Number:\hspace*{2cm}\strut\\[1ex]
+
+\begin{center}
+ \Large\textbf{\@title}\\[1ex]
+ \large\@date\\[3ex]
+\end{center}
+
+\textbf{You have {\hwexamminutes} (sharp) for the test};\\
+Write the solutions to the sheet.
+
+\noindent
+The estimated time for solving this exam is {\theassignment@totalmin} minutes,
+leaving you {\check@time} minutes for revising your exam.
+
+\noindent
+You can reach {\theassignment@totalpts} points if you solve all problems.
+You will only need {\testheading@reqpts} points for a perfect score, i.e.
+{\bonus@pts} points are bonus points.
+\vfill
+\begin{center}
+{
+ \Large\em You have ample time, so take it slow and avoid rushing
+ to mistakes!\\[2ex]
+ Different problems test different skills and knowledge, so do not
+ get stuck on one problem.
+}\vfill
+
+\resizebox{\textwidth}{!}{\correction@table}\\[3ex]
+\end{center} \ No newline at end of file
diff --git a/macros/latex/contrib/stex/tex/etc/lststex.sty b/macros/latex/contrib/stex/tex/etc/lststex.sty
new file mode 100644
index 0000000000..e3865cb464
--- /dev/null
+++ b/macros/latex/contrib/stex/tex/etc/lststex.sty
@@ -0,0 +1,45 @@
+\RequirePackage{xcolor}
+\RequirePackage{listings}
+
+\lstdefinelanguage{pseudocode}
+{morekeywords={procedure,function,end,loop,return,to,local,Value,fail,if,then,do,for,else,elif,foreach,in,true,false,
+ inputs,returns,persistent,repeat,until,while},
+ morecomment=[s]{(*}{*)},
+ morecomment=[s]{/*}{*/}, % preferred over (* ... *)
+ morecomment=[s][\sl]{<}{>}
+}
+
+\lstdefinelanguage[sTeX]{TeX}[LaTeX]{TeX}%
+ {moretexcs={[2]defin,twindef,atwindef,definalt,twindefalt,atwindefalt,definiendum,
+ importmodule,usemodule,importmhmodule,usemhmodule,gimport,guse,
+ symdef,symvariant,symtest,
+ defi,defii,defiii,adefi,adefii,adefiii,defis,defiis,defiiis,
+ trefi,trefii,trefiii,atrefi,atrefii,atrefiii,mtrefi,mtrefii,mtrefiii,
+ trefis,trefiis,trefiiis,atrefis,atrefiis,atrefiiis,
+ symi,symii,symiii,
+ termref,sref},
+ morekeywords={module,definition,axiom,assertion,omtext,
+ mhmodule,mhmodsig,mhmodnl,modsig,modnl,
+ inputref,
+ sproof,spfstep,spfcases,spfcase,justification,premise}}
+
+\definecolor{backcolor}{gray}{.96}
+
+\lstset{columns=fullflexible,basicstyle=\ttfamily}
+\lstset{frame=none,numbers=none,lineskip=-.7ex}%,aboveskip=-1em,belowskip=-2em}
+\lstset{keywordstyle=[2]\color{red},keywordstyle=[3]\color{blue}}
+\lstset{keywordstyle=[4]\color{green},keywordstyle=[5]\color{magenta}}
+\lstset{emphstyle=[2]\color{red},emphstyle=[3]\color{blue}}
+\lstset{emphstyle=[4]\color{green},emphstyle=[5]\color{magenta}}
+\lstset{commentstyle=\color{brown}}
+\lstset{backgroundcolor=\color{backcolor}}
+\newcommand{\lstkeycolor}[2]{\ifcase#1\textbf{#1}\or\red{#2}\or\blue{#2}\or\green{#2}\or\magenta{#2}\fi}
+\define@key{stexlisting}{id}{\def\sref@id{#1}}
+\define@key{stexlisting}{id}{\def\stexlst@id{#1}}
+
+% LocalWords: lstdefinelanguage morekeywords morecomment moretexcs defin sref
+% LocalWords: twindef atwindef definalt twindefalt atwindefalt termref lstset
+% LocalWords: basicstyle scriptsize fullflexible lineskip aboveskip belowskip
+% LocalWords: keywordstyle keywordstyle newcommand lstkeycolor ifcase textbf
+% LocalWords: stexlisting stexlst sproof spfstep symdef spfcases spfcase tt
+% LocalWords: texcsstyle emphstyle emphstyle ttfamily
diff --git a/macros/latex/contrib/stex/tex/etc/rustex.sty b/macros/latex/contrib/stex/tex/etc/rustex.sty
new file mode 100644
index 0000000000..dafcc184eb
--- /dev/null
+++ b/macros/latex/contrib/stex/tex/etc/rustex.sty
@@ -0,0 +1,67 @@
+\ProvidesPackage{rustex}[2022/01/11]
+\RequirePackage{xspace}
+
+\ifcsname if@rustex\endcsname\else
+ \expandafter\newif\csname if@rustex\endcsname
+ \@rustexfalse
+\fi
+
+\if@rustex\else
+ \def\rustex@directHTML#1{}
+ % usage: plain HTML as argument, e.g.
+ % \rustex@directHTML{<div>foo</div>}
+
+ \def\rustex@annotateHTML#1{}
+ \def\rustex@annotateHTMLEnd{}
+ % usage: First argument: attributes and styles
+ % attribute names may contain URL prefixes
+ % styles should be prefixed with style:
+ % second argument: The stuff that gets annotated
+ % e.g.
+ %\rustex@annotateHTML{rustex:mycolor="grey" style:fontsize="150\%"}hello\rustex@annotateHTMLEnd
+
+ \def\rustex@addNamespaceAbbrev#1#2{}
+ % e.g. \rustex@addNamespaceAbbrev{stex}{http://kwarc.info/ns/sTeX}
+ \def\rustexBREAK{}
+\fi
+
+\ifcsname ExplSyntaxOn\endcsname
+ \ExplSyntaxOn
+ \prg_new_conditional:Nnn \rustex_if: {p, T, F, TF} {
+ \if@rustex
+ \prg_return_true:
+ \else:
+ \prg_return_false:
+ \fi:
+ }
+ \cs_new_protected:Npn\rustex_direct_HTML:n #1 {
+ \rustex_if:T {\cs:w rustex@directHTML\cs_end:{#1}}
+ }
+ \cs_new_protected:Npn\rustex_annotate_HTML_begin:n #1 {
+ \rustex_if:T {\cs:w rustex@annotateHTML\cs_end:{#1}}
+ }
+ \cs_new_protected:Nn\rustex_annotate_HTML_end: {
+ \rustex_if:T {\cs:w rustex@annotateHTMLEnd\cs_end:}
+ }
+ \cs_new_protected:Npn\rustex_annotate_HTML:nn #1 #2 {
+ \rustex_if:TF {
+ \rustex_annotate_HTML_begin:n{#1}
+ #2
+ \rustex_annotate_HTML_end:
+ }{#2}
+ }
+ \cs_new_protected:Npn\rustex_add_Namespace:nn #1 #2 {
+ \rustex_if:T {
+ \cs:w rustex@addNamespaceAbbrev\cs_end:{#1}{#2}
+ }
+ }
+ \ExplSyntaxOff
+\fi
+
+\protected\def\RusTeX{%
+ \@ifundefined{texorpdfstring}%
+ {\let\texorpdfstring\@firstoftwo}%
+ {}%
+ \texorpdfstring{R\kern-0.1em\raise-0.1em\hbox{\scriptsize US}\kern-0.2em\TeX}{RusTeX}\xspace%
+}
+\let\rustex\RusTeX \ No newline at end of file
diff --git a/macros/latex/contrib/stex/tex/etc/stexthm.sty b/macros/latex/contrib/stex/tex/etc/stexthm.sty
new file mode 100644
index 0000000000..5f2071c4fe
--- /dev/null
+++ b/macros/latex/contrib/stex/tex/etc/stexthm.sty
@@ -0,0 +1,45 @@
+\ProvidesExplPackage{stexthm}{2022/02/24}{3.0.0}{Default Typesetting for sTeX Statements}
+
+\RequirePackage{stex}
+\RequirePackage{amsthm}
+\RequirePackage{thmtools}
+
+\declaretheorem[parent=section]{theorem}
+\stexpatchassertion[theorem]
+{\ifx\sassertiontitle\@empty\begin{theorem}\else\begin{theorem}[\sassertiontitle]\fi}
+{\end{theorem}}
+
+\declaretheorem[sibling=theorem]{observation}
+\stexpatchassertion[observation]
+{\ifx\sassertiontitle\@empty\begin{observation}\else\begin{observation}[\sassertiontitle]\fi}
+{\end{observation}}
+
+\declaretheorem[sibling=theorem]{corollary}
+\stexpatchassertion[corollary]
+{\ifx\sassertiontitle\@empty\begin{corollary}\else\begin{corollary}[\sassertiontitle]\fi}
+{\end{corollary}}
+
+\declaretheorem[sibling=theorem]{lemma}
+\stexpatchassertion[lemma]
+{\ifx\sassertiontitle\@empty\begin{lemma}\else\begin{lemma}[\sassertiontitle]\fi}
+{\end{lemma}}
+
+\declaretheorem[sibling=theorem]{axiom}
+\stexpatchassertion[axiom]
+{\ifx\sassertiontitle\@empty\begin{axiom}[type=axiom]\else\begin{axiom}[type=axiom,\sassertiontitle]\fi}
+{\end{axiom}}
+
+\declaretheorem[sibling=theorem,style=remark]{remark}
+\stexpatchassertion[remark]
+{\ifx\sassertiontitle\@empty\begin{remark}\else\begin{remark}[\sassertiontitle]\fi}
+{\end{remark}}
+
+\declaretheorem[sibling=theorem,style=definition]{example}
+\stexpatchexample
+{\ifx\sexampletitle\@empty\begin{example}\else\begin{example}[\sexampletitle]\fi}
+{\end{example}}
+
+\declaretheorem[sibling=theorem,style=definition]{definition}
+\stexpatchdefinition
+{\ifx\sdefinitiontitle\@empty\begin{definition}\else\begin{definition}[\sdefinitiontitle]\fi}
+ {\end{definition}} \ No newline at end of file
diff --git a/macros/latex/contrib/stex/tex/img/cc-by-sa.png b/macros/latex/contrib/stex/tex/img/cc-by-sa.png
new file mode 100644
index 0000000000..f0a944e0b8
--- /dev/null
+++ b/macros/latex/contrib/stex/tex/img/cc-by-sa.png
Binary files differ
diff --git a/macros/latex/contrib/stex/tex/img/cc_somerights.png b/macros/latex/contrib/stex/tex/img/cc_somerights.png
new file mode 100644
index 0000000000..fd7d3c7f33
--- /dev/null
+++ b/macros/latex/contrib/stex/tex/img/cc_somerights.png
Binary files differ
diff --git a/macros/latex/contrib/stex/tex/img/dangerous-bend.png b/macros/latex/contrib/stex/tex/img/dangerous-bend.png
new file mode 100644
index 0000000000..fbcfefa5d9
--- /dev/null
+++ b/macros/latex/contrib/stex/tex/img/dangerous-bend.png
Binary files differ
diff --git a/macros/latex/contrib/stex/tex/img/sTeX-logo.png b/macros/latex/contrib/stex/tex/img/sTeX-logo.png
new file mode 100644
index 0000000000..1e29279740
--- /dev/null
+++ b/macros/latex/contrib/stex/tex/img/sTeX-logo.png
Binary files differ
diff --git a/macros/latex/contrib/stex/tex/ldf/hwexam-finnish.ldf b/macros/latex/contrib/stex/tex/ldf/hwexam-finnish.ldf
new file mode 100644
index 0000000000..92454d2b2c
--- /dev/null
+++ b/macros/latex/contrib/stex/tex/ldf/hwexam-finnish.ldf
@@ -0,0 +1,21 @@
+% Finnish Language Bindings for the sTeX hwexam 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\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}%
+}
diff --git a/macros/latex/contrib/stex/tex/ldf/hwexam-french.ldf b/macros/latex/contrib/stex/tex/ldf/hwexam-french.ldf
new file mode 100644
index 0000000000..23992740cd
--- /dev/null
+++ b/macros/latex/contrib/stex/tex/ldf/hwexam-french.ldf
@@ -0,0 +1,21 @@
+% French Language Bindings for the sTeX hwexam 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\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}%
+}
diff --git a/macros/latex/contrib/stex/tex/ldf/hwexam-ngerman.ldf b/macros/latex/contrib/stex/tex/ldf/hwexam-ngerman.ldf
new file mode 100644
index 0000000000..31af25aba8
--- /dev/null
+++ b/macros/latex/contrib/stex/tex/ldf/hwexam-ngerman.ldf
@@ -0,0 +1,21 @@
+% German Language Bindings for the sTeX hwexam 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\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}%
+}
diff --git a/macros/latex/contrib/stex/tex/ldf/hwexam-russian.ldf b/macros/latex/contrib/stex/tex/ldf/hwexam-russian.ldf
new file mode 100644
index 0000000000..6da7c9e8cb
--- /dev/null
+++ b/macros/latex/contrib/stex/tex/ldf/hwexam-russian.ldf
@@ -0,0 +1,20 @@
+% Russian Language Bindings for the sTeX hwexam 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\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{Отметка}%
+}
diff --git a/macros/latex/contrib/stex/tex/ldf/omdoc-ngerman.ldf b/macros/latex/contrib/stex/tex/ldf/omdoc-ngerman.ldf
new file mode 100644
index 0000000000..3486813833
--- /dev/null
+++ b/macros/latex/contrib/stex/tex/ldf/omdoc-ngerman.ldf
@@ -0,0 +1,17 @@
+% German Language Bindings for the sTeX omdoc 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\omdoc@part@kw{Teil}
+\def\omdoc@chapter@kw{Kapitel}
+\def\omdoc@section@kw{Abschnitt}
+\def\omdoc@subsection@kw{Unterabschnitt}
+\def\omdoc@subsubsection@kw{Unterabschnitt}
+\def\omdoc@paragraph@kw{Paragraph}
+\def\omdoc@subparagraph@kw{Unterparagraph}
+} \ 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
new file mode 100644
index 0000000000..3619f283a0
--- /dev/null
+++ b/macros/latex/contrib/stex/tex/ldf/problem-finnish.ldf
@@ -0,0 +1,13 @@
+% Finnish Language Bindings for the sTeX problem 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\prob@problem@kw{Tehtävä}
+\def\prob@solution@kw{Ratkaisu}
+}
diff --git a/macros/latex/contrib/stex/tex/ldf/problem-french.ldf b/macros/latex/contrib/stex/tex/ldf/problem-french.ldf
new file mode 100644
index 0000000000..80d577c481
--- /dev/null
+++ b/macros/latex/contrib/stex/tex/ldf/problem-french.ldf
@@ -0,0 +1,13 @@
+% French Language Bindings for the sTeX problem 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\prob@problem@kw{Problème}
+\def\prob@solution@kw{Solution}
+}
diff --git a/macros/latex/contrib/stex/tex/ldf/problem-ngerman.ldf b/macros/latex/contrib/stex/tex/ldf/problem-ngerman.ldf
new file mode 100644
index 0000000000..d53bed5591
--- /dev/null
+++ b/macros/latex/contrib/stex/tex/ldf/problem-ngerman.ldf
@@ -0,0 +1,17 @@
+% German Language Bindings for the sTeX problem 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\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}
+}
diff --git a/macros/latex/contrib/stex/tex/ldf/problem-russian.ldf b/macros/latex/contrib/stex/tex/ldf/problem-russian.ldf
new file mode 100644
index 0000000000..d27d8ffabc
--- /dev/null
+++ b/macros/latex/contrib/stex/tex/ldf/problem-russian.ldf
@@ -0,0 +1,16 @@
+% Russian Language Bindings for the sTeX problem 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\prob@problem@kw{Задание}
+\def\prob@solution@kw{Решение}
+\def\prob@hint@kw{Подсказка}
+\def\prob@note@kw{Примечание}
+\def\prob@pt@kw{бл}
+\def\prob@min@kw{мин}
+}
diff --git a/macros/latex/contrib/stex/tex/ldf/sproof-finnish.ldf b/macros/latex/contrib/stex/tex/ldf/sproof-finnish.ldf
new file mode 100644
index 0000000000..3ab1f02690
--- /dev/null
+++ b/macros/latex/contrib/stex/tex/ldf/sproof-finnish.ldf
@@ -0,0 +1,14 @@
+% 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
new file mode 100644
index 0000000000..8425e0d4a8
--- /dev/null
+++ b/macros/latex/contrib/stex/tex/ldf/sproof-french.ldf
@@ -0,0 +1,14 @@
+% 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
new file mode 100644
index 0000000000..5bd1024eba
--- /dev/null
+++ b/macros/latex/contrib/stex/tex/ldf/sproof-ngerman.ldf
@@ -0,0 +1,13 @@
+% 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
new file mode 100644
index 0000000000..314cee130b
--- /dev/null
+++ b/macros/latex/contrib/stex/tex/ldf/sproof-russian.ldf
@@ -0,0 +1,13 @@
+% 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{Шаг}
+}