summaryrefslogtreecommitdiff
path: root/Master/texmf-dist
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2008-08-06 23:40:48 +0000
committerKarl Berry <karl@freefriends.org>2008-08-06 23:40:48 +0000
commit927462188c1b8bcf23079bb691ea8f6d1a80abe9 (patch)
tree284ad0251093006a1346bf844dc65e08206713ba /Master/texmf-dist
parent336e2e61d697ff9b25fb217f84225290fd9a369a (diff)
xpackages update (6aug08)
git-svn-id: svn://tug.org/texlive/trunk@10126 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist')
-rw-r--r--Master/texmf-dist/doc/latex/xpackages/ldcsetup.pdfbin101031 -> 101031 bytes
-rw-r--r--Master/texmf-dist/doc/latex/xpackages/readme-ctan.txt41
-rw-r--r--Master/texmf-dist/doc/latex/xpackages/template.pdfbin225476 -> 225476 bytes
-rw-r--r--Master/texmf-dist/doc/latex/xpackages/xparse.pdfbin467829 -> 467829 bytes
-rw-r--r--Master/texmf-dist/doc/latex/xpackages/xtheorem.pdfbin0 -> 107930 bytes
-rw-r--r--Master/texmf-dist/source/latex/xpackages/xtheorem-test.tex98
-rw-r--r--Master/texmf-dist/source/latex/xpackages/xtheorem.dtx416
-rw-r--r--Master/texmf-dist/source/latex/xpackages/xtheorem.ins58
-rw-r--r--Master/texmf-dist/tex/latex/xpackages/xtheorem.sty195
9 files changed, 801 insertions, 7 deletions
diff --git a/Master/texmf-dist/doc/latex/xpackages/ldcsetup.pdf b/Master/texmf-dist/doc/latex/xpackages/ldcsetup.pdf
index 1c34045b876..24395a21ca7 100644
--- a/Master/texmf-dist/doc/latex/xpackages/ldcsetup.pdf
+++ b/Master/texmf-dist/doc/latex/xpackages/ldcsetup.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/xpackages/readme-ctan.txt b/Master/texmf-dist/doc/latex/xpackages/readme-ctan.txt
index ed0886c4358..2ae5f214ab2 100644
--- a/Master/texmf-dist/doc/latex/xpackages/readme-ctan.txt
+++ b/Master/texmf-dist/doc/latex/xpackages/readme-ctan.txt
@@ -3,22 +3,37 @@
Possible LaTeX3 High-Level Concepts
====================================
- 2008/08/03
+ 2008/08/05
WHERE TO GET IT
---------------
-The current version of these packages can be obtained by following the
-instructions at <http://www.latex-project.org/code.html>.
+The files in this distribution represent a snapshot of selected files
+from the Subversion (SVN) repository of the LaTeX3 Project.
+
+To obtain current versions of the files, visit
+<http://www.latex-project.org/code.html> which contains further
+instructions.
OVERVIEW
--------
-Currently included in the CTAN release is the following bundle:
- xbase
-
-It requires expl3 to be installed.
+The `xpackages' term is a designation used for proto-type
+implementations of new concepts for a LaTeX Designer Interface. Some
+work as standalone packages providing new functionality, such as the
+packages in xbase; others go deeper and redefine LaTeX internals in
+order to provide newer and better methods for managing certain
+constructs.
+
+All xpackages require expl3 and, in addition to this, many require
+functionality provided by the packages within the xbase bundle.
+
+Currently included in the CTAN release of xpackages are the following
+bundles:
+ xbase
+ xtheorem
+
xbase
@@ -45,6 +60,18 @@ Files included:
xparse-test.tex
+xtheorem
+--------
+
+The xtheorem package is a prototype reimplementation of the AMS-LaTeX
+theorem environments using the template mechanism. It was originally
+developed by Achim Blumensath.
+
+Files included:
+ source: xtheorem.dtx, xtheorem.ins
+ test: xtheorem-test.tex
+
+
DISCUSSION
----------
diff --git a/Master/texmf-dist/doc/latex/xpackages/template.pdf b/Master/texmf-dist/doc/latex/xpackages/template.pdf
index a38ce068b01..b0f7f0da7a9 100644
--- a/Master/texmf-dist/doc/latex/xpackages/template.pdf
+++ b/Master/texmf-dist/doc/latex/xpackages/template.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/xpackages/xparse.pdf b/Master/texmf-dist/doc/latex/xpackages/xparse.pdf
index e86d3466dd6..9e31ff8c9b0 100644
--- a/Master/texmf-dist/doc/latex/xpackages/xparse.pdf
+++ b/Master/texmf-dist/doc/latex/xpackages/xparse.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/xpackages/xtheorem.pdf b/Master/texmf-dist/doc/latex/xpackages/xtheorem.pdf
new file mode 100644
index 00000000000..1d57036e271
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/xpackages/xtheorem.pdf
Binary files differ
diff --git a/Master/texmf-dist/source/latex/xpackages/xtheorem-test.tex b/Master/texmf-dist/source/latex/xpackages/xtheorem-test.tex
new file mode 100644
index 00000000000..48c28658d3b
--- /dev/null
+++ b/Master/texmf-dist/source/latex/xpackages/xtheorem-test.tex
@@ -0,0 +1,98 @@
+% \iffalse
+%% File xo-balance.tex
+%% (C) Copyright 1999 Achim Blumensath
+%% (C) Copyright 2004 LaTeX3 Project
+%%
+%% It may be distributed and/or modified under the conditions of the
+%% LaTeX Project Public License (LPPL), either version 1.3a of this
+%% license or (at your option) any later version. The latest version
+%% of this license is in the file
+%%
+%% http://www.latex-project.org/lppl.txt
+%%
+%% This file is part of the ``xtheorem bundle'' (The Work in LPPL)
+%% and all files in that bundle must be distributed together.
+%%
+%% The released version of this bundle is available from CTAN.
+%%
+%% -----------------------------------------------------------------------
+%%
+%% The development version of the bundle can be found at
+%%
+%% http://www.latex-project.org/cgi-bin/cvsweb.cgi/
+%%
+%% for those people who are interested.
+%%
+%%%%%%%%%%%
+%% NOTE: %%
+%%%%%%%%%%%
+%%
+%% Snapshots taken from the repository represent work in progress and may
+%% not work or may contain conflicting material! We therefore ask
+%% people _not_ to put them into distributions, archives, etc. without
+%% prior consultation with the LaTeX Project Team.
+%%
+%% -----------------------------------------------------------------------
+%%
+%% $Id: xtheorem-test.tex 274 2004-11-29 19:51:15Z mittelba $
+%%
+% \fi
+%
+\documentclass{article}
+
+\usepackage{xtheorem}
+
+\DeclareInstance{theoremstyle}{example}{std}
+{
+ pre-skip = 1cm,
+ post-skip = 1cm,
+ body-style = \ttfamily,
+ head-style = \sffamily,
+ post-head-action = \newline,
+}
+
+
+\newtheorem{plain}{Thm}{Theorem}[section]
+\newtheorem{plain}{Prop}[Thm]{Proposition}
+\newtheorem{plain}{Lem}[Thm]{Lemma}
+\newtheorem{plain}{Cor}[Thm]{Corollary}
+\newtheorem{definition}{Def}[Thm]{Definition}
+\newtheorem*{remark}{Rem}{Remark}
+\newtheorem*{example}{Exam}{Example}
+
+\begin{document}
+
+\section{First Section}
+
+\begin{Def}
+\emph{My package} is the \textsf{xtheorem} package.
+\end{Def}
+\begin{Thm}
+My package works as advertised.
+\end{Thm}
+\begin{Cor}[Achim]
+It can be used.
+\end{Cor}
+\begin{Rem}
+This is good.
+\end{Rem}
+
+\section{Second Section}
+
+\begin{Def}
+\emph{My package} is the \textsf{xtheorem} package.
+\end{Def}
+\begin{Thm}
+My package works as advertised.
+\end{Thm}
+\begin{Cor}[Achim]
+It can be used.
+\end{Cor}
+\begin{Exam}[Frank]
+An this shows a new style.
+\end{Exam}
+\begin{Rem}
+This is good.
+\end{Rem}
+
+\stop
diff --git a/Master/texmf-dist/source/latex/xpackages/xtheorem.dtx b/Master/texmf-dist/source/latex/xpackages/xtheorem.dtx
new file mode 100644
index 00000000000..c7b8ab8803d
--- /dev/null
+++ b/Master/texmf-dist/source/latex/xpackages/xtheorem.dtx
@@ -0,0 +1,416 @@
+% \iffalse
+%% File xtheorem.dtx
+%% (C) Copyright 1999 Achim Blumensath
+%% (C) Copyright 2004 2006 2008 LaTeX3 Project
+%%
+%% It may be distributed and/or modified under the conditions of the
+%% LaTeX Project Public License (LPPL), either version 1.3c of this
+%% license or (at your option) any later version. The latest version
+%% of this license is in the file
+%%
+%% http://www.latex-project.org/lppl.txt
+%%
+%% This file is part of the ``xtheorem bundle'' (The Work in LPPL)
+%% and all files in that bundle must be distributed together.
+%%
+%% The released version of this bundle is available from CTAN.
+%%
+%% -----------------------------------------------------------------------
+%%
+%% The development version of the bundle can be found at
+%%
+%% http://www.latex-project.org/cgi-bin/cvsweb.cgi/
+%%
+%% for those people who are interested.
+%%
+%%%%%%%%%%%
+%% NOTE: %%
+%%%%%%%%%%%
+%%
+%% Snapshots taken from the repository represent work in progress and may
+%% not work or may contain conflicting material! We therefore ask
+%% people _not_ to put them into distributions, archives, etc. without
+%% prior consultation with the LaTeX Project Team.
+%%
+%% -----------------------------------------------------------------------
+%<*driver|package>
+\RequirePackage{l3names}
+%</driver|package>
+%\fi
+\GetIdInfo$Id: xtheorem.dtx 754 2008-08-03 19:30:38Z morten $
+ {Experimental theorem package}
+%\iffalse
+%<*driver>
+%\fi
+\ProvidesFile{\filename.\filenameext}
+ [\filedate\space v\fileversion\space\filedescription]
+%\iffalse
+ \documentclass{ltxdoc}
+ \usepackage{textcomp}
+
+% \usepackage{xparse,xlists,xlists-samples}
+% \usepackage{ldcdoc}
+
+% next three definitions are big hacks to run the file
+% without the above packages
+%
+\newcommand\NoValue{\texttt{\textbackslash NoValue}}
+
+\newenvironment{TemplateInterfaceDescription}[1]
+ {\subsection{The Template Type `#1'}%
+ \begingroup\description
+ \def\TemplateArgument##1##2{\item[Arg: ##1]##2\par}%
+ \def\TemplateSemantics{\enddescription\endgroup
+ \subsubsection*{Semantics:}}%
+ }
+ {\par\bigskip}
+
+\newenvironment{TemplateDescription}[2]
+ {\subsection{The Template `#2' (type #1)}%
+ \subsubsection*{Attributes:}%
+ \begingroup\description
+ \def\TemplateKey##1##2##3##4{\item[##1 (##2)]##3%
+ \ifx\TemplateKey##4\TemplateKey\else
+% \hskip0ptplus3em\penalty-500\hskip 0pt plus 1filll Default:~##4%
+ \hfill\penalty500\hbox{}\hfill Default:~##4%
+ \nobreak\hskip-\parfillskip\hskip0pt\relax
+ \fi
+ \par}%
+ \def\TemplateSemantics{\enddescription\endgroup
+ \subsubsection*{Semantics \& Comments:}}%
+ }
+ {\par\bigskip}
+
+ \begin{document}
+ \DocInput{xtheorem.dtx}
+ \end{document}
+%</driver>
+% \fi
+%
+%
+%
+% \title{The \textsf{xtheorem} package\thanks{This file
+% has version number \fileversion, last
+% revised \filedate.}}
+% \author{AB}
+% \date{\filedate}
+%
+% \maketitle
+%
+% \tableofcontents
+%
+% \begin{abstract}
+% This is a conversion of the AMS theorem classes to the template
+% system. Only the interface was changed, the internals still use
+% \LaTeXe\ commands.
+% \end{abstract}
+%
+% \section{Interfaces}
+%
+% \begin{TemplateInterfaceDescription}{theoremstyle}
+%
+% \TemplateArgument{1}
+% {Text of the number of the theorem (e.g., \verb|A.1|), or
+% \NoValue\ to indicate that the theorem is unnumbered.}
+%
+% \TemplateArgument{2}
+% {Name of the theorem (e.g. \verb|Theorem|, \verb|Lemma|).}
+%
+% \TemplateArgument{3}
+% {Additional note (e.g. \verb|see [12]|), or \NoValue.}
+%
+% \TemplateSemantics
+%
+% This template starts a new environment, typesets the head of a
+% theorem, and sets fonts for the body of the theorem. The
+% environment is ended by an \verb|\@endtheorem| command.
+%
+% If the first argument is given, it is printed as the number part.
+% The second argument contains the name of the theorem, and the
+% third one may contain an additional note.
+%
+% For instance, the arguments \verb|2.1|, \verb|Lemma|, and
+% \verb|Rabin~1960| could produce the output
+%
+% \medskip
+% \noindent\textbf{Lemma 2.1 }(Rabin 1960)\textbf.
+%
+% \medskip\noindent
+% where the following text is set in italic.
+%
+% \end{TemplateInterfaceDescription}
+%
+%
+% \begin{TemplateDescription}{theoremstyle}{std}
+%
+% \TemplateKey{pre-skip}{l}
+% {Skip above the theorem.}
+% {|topsep|}
+% \TemplateKey{post-skip}{l}
+% {Skip below the theorem.}
+% {|topsep|}
+% \TemplateKey{body-style}{f0}
+% {Commands to be executed before the body of the theorem in
+% order to set fonts, etc.}
+% {italic}
+% \TemplateKey{head-style}{f0}
+% {Commands to set the font of the head.}
+% {bold}
+% \TemplateKey{note-style}{f0}
+% {Commands to set the font of the note.}
+% {medium upright font}
+% \TemplateKey{head-punct}{f0}
+% {Text after the head.}
+% {|.|}
+% \TemplateKey{head-format}{f3}
+% {Format of the head.}
+% {Name Number (Note)}
+% \TemplateKey{head-indent}{l}
+% {Indent of the head.}
+% {none}
+% \TemplateKey{head-sep}{l}
+% {Space after the head.}
+% {5pt $\pm$ 1pt}
+% \TemplateKey{post-head-action}{f0}
+% {Command to be executed after the head (e.g., a line break).}
+% {none}
+%
+% \TemplateSemantics
+% This are all parameters provided by the AMS package, except `swaphead'
+% which can be simulated by \verb|head-format|.
+%
+% \end{TemplateDescription}
+%
+% \paragraph{Problem.}
+% The current solution for `head-format' is very clumsy. Perhaps it would
+% be better to pass just the name of a template which does the layout
+% instead of the actual code.
+%
+% \medskip
+% \DescribeMacro\newtheorem
+% The \verb|\newtheorem| command defines a new type of theorem. It takes
+% the following arguments:
+%
+% \medskip
+% \verb|\newtheorem|[|*|]$\langle$style$\rangle$\relax
+% $\langle$name$\rangle$[share counter]$\langle$label$\rangle$\relax
+% [count relative]
+%
+% \medskip\noindent
+% and defines an environment named `name'. The arguments have the
+% following meanings:
+% \begin{description}
+% \item[|*|] If present the theorem is unnumbered, otherwise it is
+% numbered.
+% \item[style] The name of an instace of the `theoremstyle' template
+% which is used to typeset the theorem.
+% \item[name] The name of the new environment.
+% \item[share counter] (optional) The label of another defined theorem.
+% If present both kinds of theorem share a common counter.
+% \item[label] The name of the theorem which should appear in its head.
+% \item[count relative] If present the counter is reset to 1 everything
+% the counter with this name is changed (e.g., |section| or |chapter|).
+% \end{description}
+%
+% For instance, the following definitions create environments named
+% |Thm|, |Prop|, |Lem|, |Cor|, |Def|, |Rem|, and |Exam|. The first
+% five share a common counter which is relative to the current
+% section, the last two are unnumbered.
+% \begin{verbatim}
+% \newtheorem{plain}{Thm}{Theorem}[section]
+% \newtheorem{plain}{Prop}[Thm]{Proposition}
+% \newtheorem{plain}{Lem}[Thm]{Lemma}
+% \newtheorem{plain}{Cor}[Thm]{Corollary}
+% \newtheorem{definition}{Def}[Thm]{Definition}
+% \newtheorem*{remark}{Rem}{Remark}
+% \newtheorem*{remark}{Exam}{Example}
+% \end{verbatim}
+%
+% \section{Implementation}
+%
+% \begin{macrocode}
+%<*package>
+\ProvidesExplPackage
+ {\filename}{\filedate}{\fileversion}{\filedescription}
+\RequirePackage{xparse}
+\RequirePackage{template}
+% \end{macrocode}
+%
+% \begin{macrocode}
+\DeclareTemplateType{theoremstyle}{3}
+
+\skip_new:N \TS_pre_skip
+\skip_new:N \TS_post_skip
+\dim_new:N \TS_head_indent_dim
+\skip_new:N \TS_head_sep_skip
+
+\DeclareTemplate{theoremstyle}{std}{3}
+{
+ pre-skip =l [\DelayEvaluation{\topsep}] \TS_pre_skip,
+ post-skip =l [\DelayEvaluation{\topsep}] \TS_post_skip,
+ body-style =f0 [\itshape] \TS_body_style_tlp,
+ head-style =f0 [\bfseries] \TS_head_style_tlp,
+ note-style =f0 [\fontseries\mddefault\upshape] \TS_note_style_tlp,
+ head-punct =f0 [.] \TS_head_punct_tlp,
+ head-format =f3 [\IfNoValueF{#1}{#1\IfNoValueF{#2}{\space}}
+ \IfNoValueF{#2}{\textup{#2}}
+ \IfNoValueF{#3}{\space{\TS_note_style_tlp(#3)}}]
+ \TS_head_format:nnn,
+ head-indent =l [0pt] \TS_head_indent_dim,
+ head-sep =l [5pt plus 1pt minus 1pt] \TS_head_sep_skip,
+ post-head-action =f0 [] \TS_post_head_action_tlp
+}
+{
+ \DoParameterAssignments
+ \if_mode_horizontal:
+ \prg_whiledo:nT{
+ \int_compare:nNnT \etex_lastnodetype:D = \c_eleven
+ }{\tex_unskip:D}
+ \par
+ \fi:
+ \normalfont
+ \trivlist
+ \let:NN\thmheadnl\scan_stop:
+ \@topsep\TS_pre_skip
+ \@topsepadd\TS_post_skip
+ \IfNoValueF{#1}
+ {\refstepcounter{#1}}
+ \deferred@thm@head{
+ \TS_head_style_tlp
+ \skip_horizontal:N \TS_head_indent_dim
+ \IfNoValueTF{#1}
+ {\TS_head_format:nnn{#2}{#1}{#3}}
+ {\TS_head_format:nnn{#2}{\cs_use:c{the#1}}{#3}}
+ \TS_head_punct_tlp
+ \TS_post_head_action_tlp
+ \skip_horizontal:N\TS_head_sep_skip
+ }
+ \TS_body_style_tlp
+ \ignorespaces
+}
+% \end{macrocode}
+% These functions are used by the template above. They are copied
+% straight away from amsclass.dtx.
+% \begin{macrocode}
+\let:NN\adjust@parskip@nobreak \@nbitem
+% \end{macrocode}
+%
+% \begin{macrocode}
+\toks_new:N\dth@everypar
+\toks_set:Nn \dth@everypar{
+ \@minipagefalse
+ \global\@newlistfalse
+ \if@inlabel
+ \global\@inlabelfalse
+ \begingroup
+ \setbox\z@\lastbox
+ \ifvoid\z@ \kern-\itemindent \fi
+ \endgroup
+ \unhbox\@labels
+ \fi
+ \if@nobreak
+ \@nobreakfalse
+ \clubpenalty\@M
+ \else
+ \clubpenalty\@clubpenalty
+ \everypar{}
+ \fi
+}
+% \end{macrocode}
+%
+% \begin{macrocode}
+\def\deferred@thm@head#1{%
+ \if@inlabel \indent \par \fi % eject a section head if one is pending
+ \if@nobreak
+ \adjust@parskip@nobreak
+ \else
+ \addpenalty\@beginparpenalty
+ \addvspace\@topsep
+ \addvspace{-\parskip}%
+ \fi
+ \global\@inlabeltrue
+ \everypar\dth@everypar
+ \sbox\@labels{\normalfont#1}%
+ \ignorespaces
+}
+% \end{macrocode}
+% The usual styles `plain', `definition', and `remark'.
+% \begin{macrocode}
+\DeclareInstance{theoremstyle}{plain}{std}{}
+
+\DeclareInstance{theoremstyle}{definition}{std}
+{
+ body-style = \normalfont
+}
+
+\DeclareInstance{theoremstyle}{remark}{std}
+{
+ pre-skip = \DelayEvaluation{0.5\topsep},
+ post-skip = \DelayEvaluation{0.5\topsep},
+ body-style = \normalfont,
+ head-style = \itshape
+}
+% \end{macrocode}
+% The command to end a theorem.
+% \begin{macrocode}
+\def:Npn\@endtheorem{\endtrivlist\@endpefalse }
+% \end{macrocode}
+%
+% |newtheorem| just checks all cases and defines the appropriate
+% environment.
+% \begin{macrocode}
+\DeclareDocumentCommand{\newtheorem}{smmomo}
+{
+ \exp_args:Nc\@ifdefinable{#3}
+ {
+ \IfBooleanTF{#1}
+ {
+ \DeclareDocumentEnvironment{#3}{o}
+ {\UseInstance{theoremstyle}{#2}{\NoValue}{#5}{##1}}
+ {\@endtheorem}
+ }
+ {
+ \IfNoValueTF{#4}
+ {
+ \IfNoValueTF{#6}
+ {
+ \newcounter{#3}
+ }
+ {
+ \newcounter{#3}[#6]
+ \gdef:cpx{the#3}{\exp_not:c{the#6}
+ \@thmcountersep\@thmcounter{#3}}
+ }
+ \DeclareDocumentEnvironment{#3}{o}
+ {\UseInstance{theoremstyle}{#2}{#3}{#5}{##1}}
+ {\@endtheorem}
+ }
+ {
+ \cs_if_free:cTF{c@#4}
+ {
+ \@nocounterr{#4}
+ }
+ {
+ \gdef:cpx{the#3}{\exp_not:c{the#4}}
+ \DeclareDocumentEnvironment{#3}{o}
+ {\UseInstance{theoremstyle}{#2}{#4}{#5}{##1}}
+ {\@endtheorem}
+ }
+ }
+ }
+ }
+}
+% \end{macrocode}
+%
+% \begin{macrocode}
+\endinput
+% \end{macrocode}
+%
+% \begin{macrocode}
+%</package>
+% \end{macrocode}
+%
+%
+% \Finale
+%
+\endinput
diff --git a/Master/texmf-dist/source/latex/xpackages/xtheorem.ins b/Master/texmf-dist/source/latex/xpackages/xtheorem.ins
new file mode 100644
index 00000000000..990b28c066c
--- /dev/null
+++ b/Master/texmf-dist/source/latex/xpackages/xtheorem.ins
@@ -0,0 +1,58 @@
+% \iffalse
+%%
+%% This file will generate fast loadable files and documentation
+%% driver files from the dtx files in this package when run through
+%% LaTeX or TeX.
+%%
+%% (C) Copyright 2000-2004 LaTeX3 Project
+%%
+%% It may be distributed and/or modified under the conditions of the
+%% LaTeX Project Public License (LPPL), either version 1.3a of this
+%% license or (at your option) any later version. The latest version
+%% of this license is in the file
+%%
+%% http://www.latex-project.org/lppl.txt
+%%
+%% This file is part of the ``xtheorem bundle'' (The Work in LPPL)
+%% and all files in that bundle must be distributed together.
+%%
+%% The released version of this bundle is available from CTAN.
+%%
+%% -----------------------------------------------------------------------
+%%
+%% The development version of the bundle can be found at
+%%
+%% http://www.latex-project.org/cgi-bin/cvsweb.cgi/
+%%
+%% for those people who are interested.
+%%
+%%%%%%%%%%%
+%% NOTE: %%
+%%%%%%%%%%%
+%%
+%% Snapshots taken from the repository represent work in progress and may
+%% not work or may contain conflicting material! We therefore ask
+%% people _not_ to put them into distributions, archives, etc. without
+%% prior consultation with the LaTeX Project Team.
+%%
+%% -----------------------------------------------------------------------
+%%
+%% $Id: xtheorem.ins 274 2004-11-29 19:51:15Z mittelba $
+%%
+% \fi
+%
+%
+\input docstrip
+\keepsilent
+\askforoverwritefalse
+
+\preamble
+
+Not for distribution
+\endpreamble
+
+\generate{
+ \file{xtheorem.sty}{\from{xtheorem.dtx}{package,trace}}
+ }
+
+\endbatchfile
diff --git a/Master/texmf-dist/tex/latex/xpackages/xtheorem.sty b/Master/texmf-dist/tex/latex/xpackages/xtheorem.sty
new file mode 100644
index 00000000000..f165ef2e5f6
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/xpackages/xtheorem.sty
@@ -0,0 +1,195 @@
+%%
+%% This is file `xtheorem.sty',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% xtheorem.dtx (with options: `package,trace')
+%%
+%% Not for distribution
+%% File xtheorem.dtx
+%% (C) Copyright 1999 Achim Blumensath
+%% (C) Copyright 2004 2006 2008 LaTeX3 Project
+%%
+%% It may be distributed and/or modified under the conditions of the
+%% LaTeX Project Public License (LPPL), either version 1.3c of this
+%% license or (at your option) any later version. The latest version
+%% of this license is in the file
+%%
+%% http://www.latex-project.org/lppl.txt
+%%
+%% This file is part of the ``xtheorem bundle'' (The Work in LPPL)
+%% and all files in that bundle must be distributed together.
+%%
+%% The released version of this bundle is available from CTAN.
+%%
+%% -----------------------------------------------------------------------
+%%
+%% The development version of the bundle can be found at
+%%
+%% http://www.latex-project.org/cgi-bin/cvsweb.cgi/
+%%
+%% for those people who are interested.
+%%
+%%%%%%%%%%%
+%% NOTE: %%
+%%%%%%%%%%%
+%%
+%% Snapshots taken from the repository represent work in progress and may
+%% not work or may contain conflicting material! We therefore ask
+%% people _not_ to put them into distributions, archives, etc. without
+%% prior consultation with the LaTeX Project Team.
+%%
+%% -----------------------------------------------------------------------
+\RequirePackage{l3names}
+\GetIdInfo$Id: xtheorem.dtx 754 2008-08-03 19:30:38Z morten $
+ {Experimental theorem package}
+\ProvidesExplPackage
+ {\filename}{\filedate}{\fileversion}{\filedescription}
+\RequirePackage{xparse}
+\RequirePackage{template}
+\DeclareTemplateType{theoremstyle}{3}
+
+\skip_new:N \TS_pre_skip
+\skip_new:N \TS_post_skip
+\dim_new:N \TS_head_indent_dim
+\skip_new:N \TS_head_sep_skip
+
+\DeclareTemplate{theoremstyle}{std}{3}
+{
+ pre-skip =l [\DelayEvaluation{\topsep}] \TS_pre_skip,
+ post-skip =l [\DelayEvaluation{\topsep}] \TS_post_skip,
+ body-style =f0 [\itshape] \TS_body_style_tlp,
+ head-style =f0 [\bfseries] \TS_head_style_tlp,
+ note-style =f0 [\fontseries\mddefault\upshape] \TS_note_style_tlp,
+ head-punct =f0 [.] \TS_head_punct_tlp,
+ head-format =f3 [\IfNoValueF{#1}{#1\IfNoValueF{#2}{\space}}
+ \IfNoValueF{#2}{\textup{#2}}
+ \IfNoValueF{#3}{\space{\TS_note_style_tlp(#3)}}]
+ \TS_head_format:nnn,
+ head-indent =l [0pt] \TS_head_indent_dim,
+ head-sep =l [5pt plus 1pt minus 1pt] \TS_head_sep_skip,
+ post-head-action =f0 [] \TS_post_head_action_tlp
+}
+{
+ \DoParameterAssignments
+ \if_mode_horizontal:
+ \prg_whiledo:nT{
+ \int_compare:nNnT \etex_lastnodetype:D = \c_eleven
+ }{\tex_unskip:D}
+ \par
+ \fi:
+ \normalfont
+ \trivlist
+ \let:NN\thmheadnl\scan_stop:
+ \@topsep\TS_pre_skip
+ \@topsepadd\TS_post_skip
+ \IfNoValueF{#1}
+ {\refstepcounter{#1}}
+ \deferred@thm@head{
+ \TS_head_style_tlp
+ \skip_horizontal:N \TS_head_indent_dim
+ \IfNoValueTF{#1}
+ {\TS_head_format:nnn{#2}{#1}{#3}}
+ {\TS_head_format:nnn{#2}{\cs_use:c{the#1}}{#3}}
+ \TS_head_punct_tlp
+ \TS_post_head_action_tlp
+ \skip_horizontal:N\TS_head_sep_skip
+ }
+ \TS_body_style_tlp
+ \ignorespaces
+}
+\let:NN\adjust@parskip@nobreak \@nbitem
+\toks_new:N\dth@everypar
+\toks_set:Nn \dth@everypar{
+ \@minipagefalse
+ \global\@newlistfalse
+ \if@inlabel
+ \global\@inlabelfalse
+ \begingroup
+ \setbox\z@\lastbox
+ \ifvoid\z@ \kern-\itemindent \fi
+ \endgroup
+ \unhbox\@labels
+ \fi
+ \if@nobreak
+ \@nobreakfalse
+ \clubpenalty\@M
+ \else
+ \clubpenalty\@clubpenalty
+ \everypar{}
+ \fi
+}
+\def\deferred@thm@head#1{%
+ \if@inlabel \indent \par \fi % eject a section head if one is pending
+ \if@nobreak
+ \adjust@parskip@nobreak
+ \else
+ \addpenalty\@beginparpenalty
+ \addvspace\@topsep
+ \addvspace{-\parskip}%
+ \fi
+ \global\@inlabeltrue
+ \everypar\dth@everypar
+ \sbox\@labels{\normalfont#1}%
+ \ignorespaces
+}
+\DeclareInstance{theoremstyle}{plain}{std}{}
+
+\DeclareInstance{theoremstyle}{definition}{std}
+{
+ body-style = \normalfont
+}
+
+\DeclareInstance{theoremstyle}{remark}{std}
+{
+ pre-skip = \DelayEvaluation{0.5\topsep},
+ post-skip = \DelayEvaluation{0.5\topsep},
+ body-style = \normalfont,
+ head-style = \itshape
+}
+\def:Npn\@endtheorem{\endtrivlist\@endpefalse }
+\DeclareDocumentCommand{\newtheorem}{smmomo}
+{
+ \exp_args:Nc\@ifdefinable{#3}
+ {
+ \IfBooleanTF{#1}
+ {
+ \DeclareDocumentEnvironment{#3}{o}
+ {\UseInstance{theoremstyle}{#2}{\NoValue}{#5}{##1}}
+ {\@endtheorem}
+ }
+ {
+ \IfNoValueTF{#4}
+ {
+ \IfNoValueTF{#6}
+ {
+ \newcounter{#3}
+ }
+ {
+ \newcounter{#3}[#6]
+ \gdef:cpx{the#3}{\exp_not:c{the#6}
+ \@thmcountersep\@thmcounter{#3}}
+ }
+ \DeclareDocumentEnvironment{#3}{o}
+ {\UseInstance{theoremstyle}{#2}{#3}{#5}{##1}}
+ {\@endtheorem}
+ }
+ {
+ \cs_if_free:cTF{c@#4}
+ {
+ \@nocounterr{#4}
+ }
+ {
+ \gdef:cpx{the#3}{\exp_not:c{the#4}}
+ \DeclareDocumentEnvironment{#3}{o}
+ {\UseInstance{theoremstyle}{#2}{#4}{#5}{##1}}
+ {\@endtheorem}
+ }
+ }
+ }
+ }
+}
+\endinput
+%%
+%% End of file `xtheorem.sty'.