diff options
Diffstat (limited to 'Master/texmf-dist/tex/latex/stex/sproof/sproof.sty')
-rw-r--r-- | Master/texmf-dist/tex/latex/stex/sproof/sproof.sty | 5 |
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% |