From 5826df3d62bb59d12a4eae90e2c62379defeae05 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Thu, 4 Oct 2007 13:18:10 +0000 Subject: ijmart 1.1 (3oct07) git-svn-id: svn://tug.org/texlive/trunk@5109 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/source/latex/ijmart/ijmart.dtx | 145 ++++++++++++++++++++++- 1 file changed, 142 insertions(+), 3 deletions(-) (limited to 'Master/texmf-dist/source/latex/ijmart') 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} % %\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} % -- cgit v1.2.3