summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/stex/sproof/sproof.sty
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/latex/stex/sproof/sproof.sty')
-rw-r--r--Master/texmf-dist/tex/latex/stex/sproof/sproof.sty5
1 files changed, 3 insertions, 2 deletions
diff --git a/Master/texmf-dist/tex/latex/stex/sproof/sproof.sty b/Master/texmf-dist/tex/latex/stex/sproof/sproof.sty
index 58bdc22d022..b780babe962 100644
--- a/Master/texmf-dist/tex/latex/stex/sproof/sproof.sty
+++ b/Master/texmf-dist/tex/latex/stex/sproof/sproof.sty
@@ -7,7 +7,7 @@
%% sproof.dtx (with options: `package')
%%
\NeedsTeXFormat{LaTeX2e}[1999/12/01]
-\ProvidesPackage{sproof}[2016/04/06 v1.1 Semantic Markup for Proofs]
+\ProvidesPackage{sproof}[2019/03/20 v1.1 Semantic Markup for Proofs]
\DeclareOption*{\PassOptionsToPackage{\CurrentOption}{sref}}
\ProcessOptions
\RequirePackage{sref}
@@ -70,6 +70,7 @@
\def\spf@proof@kw{Proof}
\def\spf@step@kw{Step}
\AfterBabelLanguage{ngerman}{\input{sproof-ngerman.ldf}}
+\AfterBabelLanguage{arabic}{\input{sproof-arabic.ldf}}
\newrobustcmd\spfsketch[2][]{%
\metasetkeys{spf}{#1}%
\sref@target%
@@ -118,7 +119,7 @@
\else%
\item[\the@pst@label]%
\fi%
- \ifx\spf@title\@empty\else{(\stDMemph{\spf@title})}\fi%
+ \ifx\spf@title\@empty\else{(\stDMemph{\spf@title}) }\fi%
\sref@label@id{\pst@label}\ignorespaces%
}{%
\next@pst@label\@in@omtextfalse\ignorespaces%