summaryrefslogtreecommitdiff
path: root/Master
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
parent093bb11a0c1a93d269217ee705cff6ecf08faf0e (diff)
ijmart 1.1 (3oct07)
git-svn-id: svn://tug.org/texlive/trunk@5109 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rw-r--r--Master/texmf-dist/bibtex/bib/ijmart/ijmart.bib7
-rw-r--r--Master/texmf-dist/doc/latex/ijmart/ijmart.pdfbin275853 -> 290552 bytes
-rw-r--r--Master/texmf-dist/doc/latex/ijmart/ijmsample.pdfbin387985 -> 390694 bytes
-rw-r--r--Master/texmf-dist/doc/latex/ijmart/ijmsample.tex32
-rw-r--r--Master/texmf-dist/source/latex/ijmart/ijmart.dtx145
-rw-r--r--Master/texmf-dist/tex/latex/ijmart/ijmart.cls26
6 files changed, 206 insertions, 4 deletions
diff --git a/Master/texmf-dist/bibtex/bib/ijmart/ijmart.bib b/Master/texmf-dist/bibtex/bib/ijmart/ijmart.bib
index 4f7274644c8..9d24a24294b 100644
--- a/Master/texmf-dist/bibtex/bib/ijmart/ijmart.bib
+++ b/Master/texmf-dist/bibtex/bib/ijmart/ijmart.bib
@@ -128,3 +128,10 @@ sldoc.pdf}},
note = {\url{http://www.ctan.org/tex-archive/macros/latex/required/tools/indentfirst.pdf}}
}
+@Manual{amsthdoc,
+ title = {Using the \texttt{amsthm} Package},
+ organization = {American Mathematical Society},
+ month = {August},
+ year = 2004,
+ note = {\url{http://www.ctan.org/tex-archive/macros/latex/required/amslatex/classes/amsthdoc.pdf}}
+}
diff --git a/Master/texmf-dist/doc/latex/ijmart/ijmart.pdf b/Master/texmf-dist/doc/latex/ijmart/ijmart.pdf
index 456be1bb11e..9407fea61d7 100644
--- a/Master/texmf-dist/doc/latex/ijmart/ijmart.pdf
+++ b/Master/texmf-dist/doc/latex/ijmart/ijmart.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/ijmart/ijmsample.pdf b/Master/texmf-dist/doc/latex/ijmart/ijmsample.pdf
index 7c346f4996b..239b34671bb 100644
--- a/Master/texmf-dist/doc/latex/ijmart/ijmsample.pdf
+++ b/Master/texmf-dist/doc/latex/ijmart/ijmsample.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/ijmart/ijmsample.tex b/Master/texmf-dist/doc/latex/ijmart/ijmsample.tex
index 7c44ef9c8dc..ba9809a6901 100644
--- a/Master/texmf-dist/doc/latex/ijmart/ijmsample.tex
+++ b/Master/texmf-dist/doc/latex/ijmart/ijmsample.tex
@@ -1137,6 +1137,38 @@ which reduces to Goulden--Jackson's formula when $\lambda_i=0,i=1,\dots,n$
\cite{mami:matrixth}.
\end{thm}
+\section{Named Propositions}
+\label{s:namedprops}
+
+Here we discuss several propositions:
+\begin{namedprop}{plain}{thm}{G\"odel Theorem}[First incompleteness theorem]
+ For any consistent formal, computably enumerable theory that proves
+ basic arithmetical truths, an arithmetical statement that is true,
+ but not provable in the theory, can be constructed. That is, any
+ effectively generated theory capable of expressing elementary
+ arithmetic cannot be both consistent and complete.
+\end{namedprop}
+
+\begin{namedprop}{plain}{thm}{G\"odel Theorem}
+ For any formal recursively enumerable (i.e. effectively generated)
+ theory T including basic arithmetical truths and also certain truths
+ about formal provability, T includes a statement of its own
+ consistency if and only if T is inconsistent.
+\end{namedprop}
+
+\begin{namedprop*}{plain}{Abel's Lemma}[Summation by parts]
+ For any sequences $f_k$ and $g_k$
+ \begin{displaymath}
+ \sum_{k=m}^n f_k(g_{k+1}-g_k) = f_{n+1}g_{n+1} -
+ \sum_{k=m}^n g_{k+1} (f_{k+1} - f_k)
+ \end{displaymath}
+\end{namedprop*}
+
+\begin{namedprop*}{plain}{Fermat's last theorem}
+ For any $n>2$ the equation $x^n+y^n=z^n$ has no non-zero integer
+ solutions.
+\end{namedprop*}
+
\section{Various font features of the \pkg{amsmath} package}
\label{s:font}
\subsection{Bold versions of special symbols}
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}
%
diff --git a/Master/texmf-dist/tex/latex/ijmart/ijmart.cls b/Master/texmf-dist/tex/latex/ijmart/ijmart.cls
index 02720275470..f5aa8017d45 100644
--- a/Master/texmf-dist/tex/latex/ijmart/ijmart.cls
+++ b/Master/texmf-dist/tex/latex/ijmart/ijmart.cls
@@ -37,7 +37,7 @@
%% Right brace \} Tilde \~}
\NeedsTeXFormat{LaTeX2e}
\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]
\def\@classname{ijmart}%
\newif\ifijm@french
\ijm@frenchfalse
@@ -337,6 +337,30 @@
\qquad\hbox{\qedsymbol}%
\fi}%
\def\qedsymbol{\rule[0.47pt]{4pt}{6pt}}%
+\newenvironment{namedprop}{%
+ \namedprop@}{%
+ \end{namedprop@thm}%
+ \egroup}
+\newenvironment{namedprop*}{%
+ \namedprop@star@}{%
+ \end{namedprop@thm}%
+ \egroup}
+\def\namedprop@star@#1#2{%
+ \@ifnextchar[{\namedprop@star@@{#1}{#2}}{\namedprop@star@@{#1}{#2}[]}}%
+\def\namedprop@star@@#1#2[#3]{%
+ \bgroup
+ \let\namedprop@thm\relax
+ \theoremstyle{#1}
+ \newtheorem*{namedprop@thm}{#2}
+ \begin{namedprop@thm}[#3]}
+\def\namedprop@#1#2#3{%
+ \@ifnextchar[{\namedprop@@{#1}{#2}{#3}}{\namedprop@@{#1}{#2}{#3}[]}}%
+\def\namedprop@@#1#2#3[#4]{%
+ \bgroup
+ \let\namedprop@thm\relax
+ \theoremstyle{#1}
+ \newtheorem{namedprop@thm}[#2]{#3}
+ \begin{namedprop@thm}[#4]}
\renewcommand{\@bibtitlestyle}{%
\@xp\centeredsection\@xp*\@xp{\refname}%
}%