diff options
author | Karl Berry <karl@freefriends.org> | 2008-05-20 17:50:33 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-05-20 17:50:33 +0000 |
commit | a62e1d4e096be4d689f337c35488333116c5e3e4 (patch) | |
tree | 803679fd4f27b12d609e5920df24f6855150c00c /Master/texmf-dist/tex/latex/stex/statements.sty | |
parent | 9f0169e9cace9e8a9a261e3095ea97dac44f3d4a (diff) |
new package stex (10may08)
git-svn-id: svn://tug.org/texlive/trunk@8255 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/latex/stex/statements.sty')
-rw-r--r-- | Master/texmf-dist/tex/latex/stex/statements.sty | 85 |
1 files changed, 85 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/latex/stex/statements.sty b/Master/texmf-dist/tex/latex/stex/statements.sty new file mode 100644 index 00000000000..0ae7cda7c74 --- /dev/null +++ b/Master/texmf-dist/tex/latex/stex/statements.sty @@ -0,0 +1,85 @@ +%% +%% This is file `statements.sty', +%% generated with the docstrip utility. +%% +%% The original source files were: +%% +%% statements.dtx (with options: `package') +%% +\NeedsTeXFormat{LaTeX2e}[1999/12/01] +\ProvidesPackage{statements}[2007/09/09 v0.9d Semantic Markup for Statements] +\newif\ifst@env\st@envfalse +\newif\ifst@id\st@idfalse +\newif\ifst@display\st@displayfalse +\DeclareOption{id}{\st@idtrue\st@envtrue} +\DeclareOption{env}{\st@envtrue} +\DeclareOption{display}{\st@displaytrue\st@envtrue} +\newif\ifstat@for\stat@forfalse +\newif\ifstat@from\stat@forfalse +\newif\ifstat@type\stat@typefalse +\newif\ifstat@title\stat@titlefalse +\newif\ifstat@continues\stat@continuesfalse +\DeclareOption{for}{\stat@fortrue\st@envtrue} +\DeclareOption{from}{\stat@fromtrue\st@envtrue} +\DeclareOption{type}{\stat@typetrue\st@envtrue} +\DeclareOption{title}{\stat@titletrue\st@envtrue} +\DeclareOption{continues}{\stat@continuestrue\st@envtrue} +\def\stattrue{\stat@fortrue\stat@fromtrue\stat@typetrue\stat@continuestrue} +\DeclareOption{draft}{\st@envtrue\st@idtrue\stat@fortrue\stat@fromtrue\typetrue\justtrue} +\DeclareOption{all}{\st@envtrue\stattrue\justtrue} +\ProcessOptions +\RequirePackage{omdoc}[2007/09/09] +\def\define@statement@env#1#2{ +\newenvironment{#1}[1][]{\setkeys{stat}{##1} +\ifx\st@display\st@flow\else\stDMemph{#2}:\fi% +\@ifundefined{stat@title}{}% +{\space\ifx\st@display\st@flow\else(\fi\stDMemph{\stat@title}\ifx\st@display\st@flow:\else)\par\fi}\space% +\ifst@env\show@stat@keys{#1}\fi\csname st@#1@initialize\endcsname} +{\csname st@#1@terminate\endcsname}} +\newenvironment{assertion}[1][]{\setkeys{stat}{#1} +\ifx\st@display\st@flow\else{\stDMemph{\stat@type}:}\fi% +\@ifundefined{stat@title}{~}{~(\stDMemph{\stat@title})\par}% +\ifst@env\show@stat@keys{#1}\fi\em}{} +\newenvironment{simpleDef}[1][]{\setkeys{stat}{#1} +\ifx\st@display\st@flow\else{\stDMemph{Definition}:}\fi% +\@ifundefined{stat@title}{~}{~(\stDMemph{\stat@title})\par}% +\ifst@env\show@stat@keys{#1}\fi}{} +\newenvironment{PatternDef}[1][]{\setkeys{stat}{#1} +\ifx\st@display\st@flow\else{\stDMemph{Definition}:}\fi% +\@ifundefined{stat@title}{~}{~(\stDMemph{\stat@title})\par}% +\ifst@env\show@stat@keys{#1}\fi}{} +\newenvironment{PatternRule}[1]{#1$\colon=$}{} +\newenvironment{PatternCMP}{}{} +\newenvironment{RecDef}[1][]{\setkeys{stat}{#1} +\ifx\st@display\st@flow\else{\stDMemph{Definition}:}\fi% +\@ifundefined{stat@title}{~}{~(\stDMemph{\stat@title})\par}% +\ifst@env\show@stat@keys{#1}\fi}{} +\def\st@example@initialize{}\def\st@example@terminate{} +\define@statement@env{example}{Example} +\def\st@axiom@initialize{}\def\st@axiom@terminate{} +\define@statement@env{axiom}{Axiom} +\define@key{consymb}{type}{\def\consymb@type{#1}} +\define@key{consymb}{title}{\def\consymb@title{#1}} +\define@key{consymb}{name}{\def\consymb@name{#1}} +\def\consymb@type{Symbol} +\newenvironment{consymb}[1][]{\setkeys{consymb}{#1} +\ifx\st@display\st@flow\else{\stDMemph{\consymb@type} \consymb@name:}\fi% +\@ifundefined{consymb@title}{~}{~(\stDMemph{\consymb@title})\par}}{} +\newcommand{\symtype}[2]{Type (#1): #2} +\def\st@definition@initialize{% +\newcommand{\notatiendum}[2][]{\notemph{##2}} +\newcommand{\definiendum}[2][]{\defemph{##2}}} +\def\st@definition@terminate{} +\define@statement@env{definition}{Definition} +\def\notemph#1{{\bf{#1}}} +\def\st@notation@initialize{\newcommand{\notatiendum}[2][]{\notemph{##2}}} +\def\st@notation@terminate{} +\define@statement@env{notation}{Notation} +\def\termin{\@ifnextchar[{\@termin}{\@termin[]}} +\def\@termin[#1]#2{{\termemph{\index*{#2}}}} +\providecommand{\termemph}[1]{#1} +\providecommand{\defemph}[1]{{\bf{#1}}} +\providecommand{\stDMemph}[1]{{\bf{#1}}} +\endinput +%% +%% End of file `statements.sty'. |