diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/sproof/sproof.dtx')
-rw-r--r-- | Master/texmf-dist/source/latex/stex/sproof/sproof.dtx | 24 |
1 files changed, 15 insertions, 9 deletions
diff --git a/Master/texmf-dist/source/latex/stex/sproof/sproof.dtx b/Master/texmf-dist/source/latex/stex/sproof/sproof.dtx index 8224760461f..16f52260205 100644 --- a/Master/texmf-dist/source/latex/stex/sproof/sproof.dtx +++ b/Master/texmf-dist/source/latex/stex/sproof/sproof.dtx @@ -10,10 +10,11 @@ % % \iffalse %<package>\NeedsTeXFormat{LaTeX2e}[1999/12/01] -%<package>\ProvidesPackage{sproof}[2016/04/07 v1.1 Semantic Markup for Proofs] +%<package>\ProvidesPackage{sproof}[2019/03/20 v1.1 Semantic Markup for Proofs] % %<*driver> \documentclass{ltxdoc} +\usepackage[utf8]{inputenc} \usepackage{url,array,stex,float,moreverb} \usepackage[show]{ed} \usepackage[hyperref=auto,style=alphabetic]{biblatex} @@ -22,13 +23,17 @@ \addbibresource{kwarccrossrefs.bib} \addbibresource{extcrossrefs.bib} \usepackage{ctangit} +\usepackage{paralist} \usepackage{hyperref} \makeindex \floatstyle{boxed} \newfloat{exfig}{thp}{lop} \floatname{exfig}{Example} -\def\tracissue#1{\cite{sTeX:online}, \hyperlink{http://trac.kwarc.info/sTeX/ticket/#1}{issue #1}} -\begin{document}\DocInput{sproof.dtx}\end{document} +\def\githubissue#1{\cite{sTeX:github:on}, \hyperlink{https://github.com/KWARC/sTeX/issues/#1}{issue #1}} +\begin{document} +\RecordChanges +\DocInput{sproof.dtx} +\end{document} %</driver> % \fi % @@ -65,7 +70,7 @@ % \title{{\texttt{sproof.sty}}: Structural Markup for Proofs\thanks{Version {\fileversion} (last revised % {\filedate})}} % \author{Michael Kohlhase\\ -% Jacobs University, Bremen\\ +% FAU Erlangen-N\"urnberg\\ % \url{http://kwarc.info/kohlhase}} % \maketitle % @@ -346,17 +351,17 @@ % In this section we document known limitations. If you want to help alleviate them, % please feel free to contact the package author. Some of them are currently discussed in % the TRAC. -% \begin{compactenum} +% \begin{enumerate} % \item The numbering scheme of proofs cannot be changed. It is more geared for teaching % proof structures (the author's main use case) and not for writing papers.\lec{reported -% by Tobias Pfeiffer; see \tracissue{1658}} (fixed) +% by Tobias Pfeiffer (fixed)} % \item currently proof steps are formatted by the {\LaTeX} |description| environment. We % would like to configure this, e.g. to use the |inparaenum| environment for more % condensed proofs. I am just not sure what the best user interface would be I can % imagine redefining an internal environment |spf@proofstep@list| or adding a key % |prooflistenv| to the |proof| environment that allows to specify the environment % directly. Maybe we should do both. -% \end{compactenum} +% \end{enumerate} % % % \StopEventually{\newpage\PrintIndex\newpage\PrintChanges\printbibliography} @@ -515,6 +520,7 @@ % For the other languages, we set up triggers % \begin{macrocode} \AfterBabelLanguage{ngerman}{\input{sproof-ngerman.ldf}} +\AfterBabelLanguage{arabic}{\input{sproof-arabic.ldf}} % \end{macrocode} % % \begin{macro}{spfsketch} @@ -599,7 +605,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% @@ -622,7 +628,7 @@ % contains a start text. Both environments start a new numbered proof level. % % \begin{environment}{subproof} -% In the |subproof| environment, a new (lower-level) proof environment is started. +% In the |subproof| environment, a new (lower-level) proproofof environment is started. % \begin{macrocode} \newenvironment{subproof}[2][]{% \metasetkeys{spf}{#1}% |