summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/stex/structview
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/latex/stex/structview')
-rw-r--r--Master/texmf-dist/tex/latex/stex/structview/structview.sty46
1 files changed, 23 insertions, 23 deletions
diff --git a/Master/texmf-dist/tex/latex/stex/structview/structview.sty b/Master/texmf-dist/tex/latex/stex/structview/structview.sty
index d76c3d13599..a233ce55c13 100644
--- a/Master/texmf-dist/tex/latex/stex/structview/structview.sty
+++ b/Master/texmf-dist/tex/latex/stex/structview/structview.sty
@@ -7,7 +7,7 @@
%% structview.dtx (with options: `package')
%%
\NeedsTeXFormat{LaTeX2e}[1999/12/01]
-\ProvidesPackage{structview}[2016/04/06 v0.9 Structures and Views]
+\ProvidesPackage{structview}[2019/03/20 v0.9 Structures and Views]
\newif\if@structview@mh@\@structview@mh@false
\DeclareOption{mh}{\@structview@mh@true
\PassOptionsToPackage{\CurrentOption}{modules}}
@@ -15,27 +15,31 @@
\ProcessOptions
\if@structview@mh@\RequirePackage{structview-mh}\fi
\RequirePackage{modules}
-\newenvironment{importmodulevia}[2][]{%
- \gdef\@@doit{\importmodule[#1]{#2}}%
- \ifmod@show\par\noindent importing module #2 via \@@doit\fi%
+\newrobustcmd\vassign[3][]{\ifmod@show\ensuremath{#2\mapsto #3}, \fi}%
+\newrobustcmd\fassign[4][]{\ifmod@show \ensuremath{#3(#2)\mapsto #4}, \fi}%
+\newrobustcmd\tassign[3][]{\ifmod@show \ensuremath{#2\mapsto} #3, \fi}%
+\newenvironment{sstructure}[3][]{%
+ \gdef\@@doit{\importmodule[#1]{#3}}%
+ \ifmod@show\par\noindent importing module #3 via \@@doit\fi%
}{%
\aftergroup\@@doit\ifmod@show end import\fi%
}%
-\newrobustcmd\vassign[3][]{\ifmod@show\ensuremath{#2\mapsto #3}, \fi}%
-\newrobustcmd\tassign[3][]{\ifmod@show #2\ensuremath{\mapsto} #3, \fi}%
-\newrobustcmd\fassign[4][]{\ifmod@show \ensuremath{#3\mapsto #4}, \fi}%
-\newrobustcmd\ttassign[3][]{\ifmod@show #2\ensuremath{\mapsto} ``#3'', \fi}%
+\newenvironment{importmodulevia}[2][]%
+{\PackageError{structview}%
+ {The {importmodulevia} environment is deprecated}{use the {sstructure} instead!}%
+ \begin{sstructure}[#1]{missing}{#2}}
+{\end{sstructure}}
\srefaddidkey{view}
\addmetakey*{view}{title}
\addmetakey{view}{display}
-\addmetakey{view}{from}
-\addmetakey{view}{to}
+\addmetakey{view}{loadfrom}
+\addmetakey{view}{loadto}
\addmetakey{view}{creators}
\addmetakey{view}{contributors}
\addmetakey{view}{srccite}
\addmetakey{view}{type}
\addmetakey[sms]{view}{ext}
-\newcounter{view}[section]
+\ifdef{\thesection}{\newcounter{view}[section]}{\newcounter{view}}
\newrobustcmd\view@heading[4]{%
\if@importing%
\else%
@@ -56,7 +60,7 @@
\ignorespaces%
\fi%
}%ifmod@show
-\newenvironment{view}[3][]{%
+\newenvironment{view}[3][]{% keys, from, to
\metasetkeys{view}{#1}%
\sref@target%
\begin{@view}{#2}{#3}%
@@ -67,18 +71,14 @@
}%
\ifmod@show\surroundwithmdframed{view}\fi%
\newenvironment{@view}[2]{%from, to
- \@importmodule[\view@from]{#1}{\view@ext}%
- \@importmodule[\view@to]{#2}{\view@ext}%
+ \@importmodule[\view@loadfrom]{#1}{\view@ext}%
+ \@importmodule[\view@loadto]{#2}{\view@ext}%
}{}%
-\newenvironment{viewsketch}[3][]{%
- \metasetkeys{view}{#1}%
- \sref@target%
- \begin{@view}{#2}{#3}%
- \view@heading{#2}{#3}{\view@display}{\view@title}%
-}{%
- \end{@view}%
-}%
-\ifmod@show\surroundwithmdframed{viewsketch}\fi%
+\newenvironment{viewsketch}[3][]%
+{\PackageError{structview}%
+ {The {viewsketch} environment is deprecated}{use the {view} instead!}%
+ \begin{view}[#1]{#2}{#3}}
+{\end{view}}
\newrobustcmd\obligation[3][]{%
\if@importing%
\else Axiom #2 is proven by \sref{#3}%