diff options
Diffstat (limited to 'Master/texmf-dist/tex/latex/stex/structview/structview.sty')
-rw-r--r-- | Master/texmf-dist/tex/latex/stex/structview/structview.sty | 89 |
1 files changed, 89 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/latex/stex/structview/structview.sty b/Master/texmf-dist/tex/latex/stex/structview/structview.sty new file mode 100644 index 00000000000..d76c3d13599 --- /dev/null +++ b/Master/texmf-dist/tex/latex/stex/structview/structview.sty @@ -0,0 +1,89 @@ +%% +%% This is file `structview.sty', +%% generated with the docstrip utility. +%% +%% The original source files were: +%% +%% structview.dtx (with options: `package') +%% +\NeedsTeXFormat{LaTeX2e}[1999/12/01] +\ProvidesPackage{structview}[2016/04/06 v0.9 Structures and Views] +\newif\if@structview@mh@\@structview@mh@false +\DeclareOption{mh}{\@structview@mh@true +\PassOptionsToPackage{\CurrentOption}{modules}} +\DeclareOption*{\PassOptionsToPackage{\CurrentOption}{modules}} +\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% +}{% + \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}% +\srefaddidkey{view} +\addmetakey*{view}{title} +\addmetakey{view}{display} +\addmetakey{view}{from} +\addmetakey{view}{to} +\addmetakey{view}{creators} +\addmetakey{view}{contributors} +\addmetakey{view}{srccite} +\addmetakey{view}{type} +\addmetakey[sms]{view}{ext} +\newcounter{view}[section] +\newrobustcmd\view@heading[4]{% + \if@importing% + \else% + \stepcounter{view}% + \edef\@display{#3}\edef\@title{#4}% + \noindent% + \ifx\@display\st@flow% + \else% + {\textbf{View} {\thesection.\theview} from \textsf{#1} to \textsf{#2}}% + \sref@label@id{View \thesection.\theview}% + \ifx\@title\@empty% + \quad% + \else% + \quad(\@title)% + \fi% + \par\noindent% + \fi% + \ignorespaces% + \fi% +}%ifmod@show +\newenvironment{view}[3][]{% + \metasetkeys{view}{#1}% + \sref@target% + \begin{@view}{#2}{#3}% + \view@heading{#2}{#3}{\view@display}{\view@title}% +}{% + \end{@view}% + \ignorespaces% +}% +\ifmod@show\surroundwithmdframed{view}\fi% +\newenvironment{@view}[2]{%from, to + \@importmodule[\view@from]{#1}{\view@ext}% + \@importmodule[\view@to]{#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% +\newrobustcmd\obligation[3][]{% + \if@importing% + \else Axiom #2 is proven by \sref{#3}% + \fi% +}% +\endinput +%% +%% End of file `structview.sty'. |