summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/stex/sproof
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-03-20 22:31:24 +0000
committerKarl Berry <karl@freefriends.org>2019-03-20 22:31:24 +0000
commit2b006ec0e0cafe12255f874f9c44786ab6f38901 (patch)
treec40f5796e1b34e3f051abd84d049e092e4ffd0ab /Master/texmf-dist/source/latex/stex/sproof
parent8e508e8b0218f17eb318645073096f2cf645cc78 (diff)
stex (20mar19)
git-svn-id: svn://tug.org/texlive/trunk@50489 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/sproof')
-rw-r--r--Master/texmf-dist/source/latex/stex/sproof/sproof.dtx24
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}%