summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/ijmart
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2007-10-04 13:18:10 +0000
committerKarl Berry <karl@freefriends.org>2007-10-04 13:18:10 +0000
commit5826df3d62bb59d12a4eae90e2c62379defeae05 (patch)
tree9c69d3c78f89f543f300d6bddcd98af61294d2f5 /Master/texmf-dist/source/latex/ijmart
parent093bb11a0c1a93d269217ee705cff6ecf08faf0e (diff)
ijmart 1.1 (3oct07)
git-svn-id: svn://tug.org/texlive/trunk@5109 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/source/latex/ijmart')
-rw-r--r--Master/texmf-dist/source/latex/ijmart/ijmart.dtx145
1 files changed, 142 insertions, 3 deletions
diff --git a/Master/texmf-dist/source/latex/ijmart/ijmart.dtx b/Master/texmf-dist/source/latex/ijmart/ijmart.dtx
index aa6224770a7..b37e509a394 100644
--- a/Master/texmf-dist/source/latex/ijmart/ijmart.dtx
+++ b/Master/texmf-dist/source/latex/ijmart/ijmart.dtx
@@ -1,5 +1,5 @@
% \iffalse
-% $Id: ijmart.dtx,v 1.35 2007-09-03 22:43:13 boris Exp $
+% $Id: ijmart.dtx,v 1.38 2007-10-03 00:52:15 boris Exp $
%
% Copyright 2007, The Hebrew University Magnes Press
% This work may be distributed and/or modified under the
@@ -20,7 +20,7 @@
% derived file ijmart.cls
%
% \fi
-% \CheckSum{772}
+% \CheckSum{808}
%
%
%% \CharacterTable
@@ -432,6 +432,8 @@
%\subsection{Theorems, Lemmas, etc.}
% \label{sec:ijmthm_descr}
%
+% \changes{v1.1}{2007/09/30}{Updated documentation for theorems}
+%
% The class \progname{amsart} defines three theorem styles: |plain|,
% |remark| and |definition|. They are redefined by \progname{ijmart}
% to conform to the style of \emph{The Israel Jorunal of Mathematics.}
@@ -440,6 +442,76 @@
% Mathematics} usually recommends |definition| style for remarks,
% while |remark| style is used for steps, facts, cases, etc.
%
+% \DescribeMacro{\popQED}
+% The environment |proof| has the same syntax and meaning as for
+% \progname{amsart} package. According to the journal style, the QED
+% symbol in proofs is not flushed left, like in \progname{amsart}, but
+% is typeset at the last line of the proof at some distance from the
+% text. If a proof ends by a nested environment, this might lead to
+% an ugly position of the QED symbol. The command |\popQED| inside a
+% proof can be used to improve the situaiton\footnote{It is actually
+% defined in \progname{amsart} too, but is not documented in the
+% user's documentation there.}. It causes the immediate typesetting
+% of the QED symbol and deletes the QED symbol at the end of the
+% current proof. For example
+% \begin{verbatim}
+% \begin{proof}
+% This proof ends by an enumerated list:
+% \begin{enumerate}
+% \item Item
+% \item Item \popQED
+% \end{enumerate}
+% \end{proof}
+% \end{verbatim}
+% Compare this to the similar code without |\popQED|.
+%
+% \DescribeEnv{namedprop}
+% \DescribeEnv{namedprop*}
+% Sometimes authors use non-standard names for their theorem-like
+% propositions. The documentation~\cite{amsthdoc} recommends the use
+% of |\newtheorem*|:
+% \begin{verbatim}
+% \newtheorem*{KL}{Klein's Lemma}
+% \end{verbatim}
+% However, if the number of such special environments is large enough,
+% this might be too cumbersome. The package progname{ijmart} provides
+% two environments, |namedprop| and |namedprop*| to define such
+% these propositions on the fly.
+%
+% The environment |namedprop| is used for numbered named propositions
+% (admittedly such propositions are less frequent than unnumbered
+% ones). It has the following syntax:
+% \begin{quote}
+% |\begin{namedprop}|\marg{style}\marg{numbered-as}\marg{name}\oarg{note}\\
+% \dots\\
+% |\end{namedprop}|
+% \end{quote}
+% where |style| is the style of the proposition (|plain|, |remark|,
+% etc.), |nmubered-as| is the name of (already defined) theorem-like
+% environment, that shares the numbering with this proposition, |name|
+% is the name to use instead of ``Theorem'', ``Lemma'', and |note| is
+% the note after the heading. For example,
+% \begin{verbatim}
+% \begin{namedprop}{plain}{thm}{Klein's Lemma}[as restated in~\cite{a-l}]
+% ...
+% \end{namedprop}
+% \end{verbatim}
+%
+% The nevironment |\namedprop*| is used for \emph{unnumbered} named
+% propositions:
+% \begin{quote}
+% |\begin{namedprop*}|\marg{style}\marg{name}\oarg{note}\\
+% \dots\\
+% |\end{namedprop*}|
+% \end{quote}
+% For example,
+% \begin{verbatim}
+% \begin{namedprop*}{plain}{Klein's Lemma}[as restated in~\cite{a-l}]
+% ...
+% \end{namedprop*}
+% \end{verbatim}
+%
+%
%\subsection{Bibliography}
%\label{sec:bilbio}
%
@@ -504,7 +576,7 @@
\ProvidesFile{ijmart.dtx}
%</gobble>
%<class>\ProvidesClass{ijmart}
-[2007/09/03 v1.0 Typesetting articles for The Israel Journal of Mathematics]
+[2007/10/01 v1.1 Typesetting articles for The Israel Journal of Mathematics]
% \end{macrocode}
%
% \begin{macro}{\@classname}
@@ -1407,6 +1479,73 @@
%
% \end{macro}
%
+% \begin{macro}{\namedprop}
+% \changes{v1.1}{2007/09/30}{Introduced macro}
+% This is the unstarred version of the macro. It calls the command
+% and then closes the group opened by |\namedprop@|
+% \begin{macrocode}
+\newenvironment{namedprop}{%
+ \namedprop@}{%
+ \end{namedprop@thm}%
+ \egroup}
+% \end{macrocode}
+% \end{macro}
+%
+% \begin{macro}{\namedprop*}
+% \changes{v1.1}{2007/09/30}{Introduced macro}
+% The starred version is similar:
+% \begin{macrocode}
+\newenvironment{namedprop*}{%
+ \namedprop@star@}{%
+ \end{namedprop@thm}%
+ \egroup}
+% \end{macrocode}
+% \end{macro}
+%
+% \begin{macro}{\namedprop@star@}
+% \changes{v1.1}{2007/09/30}{Introduced macro}
+% The starred version has two mandatory arguments: style and and
+% name, and one optional argument: note.
+% \begin{macrocode}
+\def\namedprop@star@#1#2{%
+ \@ifnextchar[{\namedprop@star@@{#1}{#2}}{\namedprop@star@@{#1}{#2}[]}}%
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\namedprop@star@@}
+% \changes{v1.1}{2007/09/30}{Introduced macro}
+% This is the command that does the real work:
+% \begin{macrocode}
+\def\namedprop@star@@#1#2[#3]{%
+ \bgroup
+ \let\namedprop@thm\relax
+ \theoremstyle{#1}
+ \newtheorem*{namedprop@thm}{#2}
+ \begin{namedprop@thm}[#3]}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\namedprop@}
+% \changes{v1.1}{2007/09/30}{Introduced macro}
+% This is the unstarred version of the macro. It has three
+% mandatory arguments: style, counter and the name, and one
+% optional argument: the note.
+% \begin{macrocode}
+\def\namedprop@#1#2#3{%
+ \@ifnextchar[{\namedprop@@{#1}{#2}{#3}}{\namedprop@@{#1}{#2}{#3}[]}}%
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\namedprop@@}
+% \changes{v1.1}{2007/09/30}{Introduced macro}
+% And the real macro:
+% \begin{macrocode}
+\def\namedprop@@#1#2#3[#4]{%
+ \bgroup
+ \let\namedprop@thm\relax
+ \theoremstyle{#1}
+ \newtheorem{namedprop@thm}[#2]{#3}
+ \begin{namedprop@thm}[#4]}
+% \end{macrocode}
+% \end{macro}
+%
%\subsection{Bibliography}
%\label{sec:biblio_code}
%