diff options
Diffstat (limited to 'macros/latex/contrib/stex/tex')
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 Binary files differnew file mode 100644 index 0000000000..f0a944e0b8 --- /dev/null +++ b/macros/latex/contrib/stex/tex/img/cc-by-sa.png diff --git a/macros/latex/contrib/stex/tex/img/cc_somerights.png b/macros/latex/contrib/stex/tex/img/cc_somerights.png Binary files differnew file mode 100644 index 0000000000..fd7d3c7f33 --- /dev/null +++ b/macros/latex/contrib/stex/tex/img/cc_somerights.png diff --git a/macros/latex/contrib/stex/tex/img/dangerous-bend.png b/macros/latex/contrib/stex/tex/img/dangerous-bend.png Binary files differnew file mode 100644 index 0000000000..fbcfefa5d9 --- /dev/null +++ b/macros/latex/contrib/stex/tex/img/dangerous-bend.png diff --git a/macros/latex/contrib/stex/tex/img/sTeX-logo.png b/macros/latex/contrib/stex/tex/img/sTeX-logo.png Binary files differnew file mode 100644 index 0000000000..1e29279740 --- /dev/null +++ b/macros/latex/contrib/stex/tex/img/sTeX-logo.png 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{Шаг} +} |