amsrefs update from latex-tds (26oct07)

git-svn-id: svn://tug.org/texlive/trunk@5285 c570f23f-e606-0410-a88d-b1316a301751

20 files changed, 1145 insertions, 0 deletions

diff --git a/Master/texmf-dist/doc/latex/amsrefs/amsrdoc.pdf b/Master/texmf-dist/doc/latex/amsrefs/amsrdoc.pdf
index 43a62b84eb3..2e2bc1ba6f4 100644
--- a/Master/texmf-dist/doc/latex/amsrefs/amsrdoc.pdf
+++ b/Master/texmf-dist/doc/latex/amsrefs/amsrdoc.pdf
diff --git a/Master/texmf-dist/doc/latex/amsrefs/amsrefs.faq b/Master/texmf-dist/doc/latex/amsrefs/amsrefs.faq
new file mode 100644
index 00000000000..699436c83b7
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/amsrefs/amsrefs.faq
@@ -0,0 +1,42 @@
+amsrefs.faq  [2007/10/16] American Mathematical Society
+
+Frequently asked questions about the amsrefs package and its companion
+packages.
+
+Suggestions? Please send mail to tech-support@ams.org.
+
+------------------------------------------------------------------------
+1) Where should I look for documentation?
+
+User documentation is found in the file amsrdoc.pdf.
+
+Some example files (cite-xa.tex, cite-xb.tex, cite-xh.tex, cite-xs.tex
+and gktest.ltb) are also provided.
+
+2) How do I define my own bibliography style?
+
+For information on customizing the formatting of references, see
+amsrefs.pdf, especially sections 4, 6.10 and 6.27.
+
+3) I'm trying to use amsrefs with hyperref, but various bad things
+   are happening.
+
+Unlike most packages, which must be loaded before hyperref, amsrefs
+must be loaded *after* hyperref:
+
+    \usepackage{hyperref}
+    \usepackage{amsrefs}
+
+4) When I put
+
+       review={MR0113214 (22 \#4052)},
+
+   in a \bib, there is no space between the review number and the
+   preceding period in the printed output.
+
+You must use the \MR macro to mark MR reviews:
+
+       review={\MR{0113214 (22 \#4052)}},
+
+This will ensure the spacing is correct and also allow you to use the
+msc-links option.
diff --git a/Master/texmf-dist/doc/latex/amsrefs/amsrefs.pdf b/Master/texmf-dist/doc/latex/amsrefs/amsrefs.pdf
index d3a9eb86c22..5ada18cfbe7 100644
--- a/Master/texmf-dist/doc/latex/amsrefs/amsrefs.pdf
+++ b/Master/texmf-dist/doc/latex/amsrefs/amsrefs.pdf
diff --git a/Master/texmf-dist/doc/latex/amsrefs/amsxport.pdf b/Master/texmf-dist/doc/latex/amsrefs/amsxport.pdf
index 85e29862bf9..473ce764fb0 100644
--- a/Master/texmf-dist/doc/latex/amsrefs/amsxport.pdf
+++ b/Master/texmf-dist/doc/latex/amsrefs/amsxport.pdf
diff --git a/Master/texmf-dist/doc/latex/amsrefs/changes.pdf b/Master/texmf-dist/doc/latex/amsrefs/changes.pdf
index 52f3f0cab9a..d4d72824f70 100644
--- a/Master/texmf-dist/doc/latex/amsrefs/changes.pdf
+++ b/Master/texmf-dist/doc/latex/amsrefs/changes.pdf
diff --git a/Master/texmf-dist/doc/latex/amsrefs/cite-xa.pdf b/Master/texmf-dist/doc/latex/amsrefs/cite-xa.pdf
new file mode 100644
index 00000000000..085306162a1
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/amsrefs/cite-xa.pdf
diff --git a/Master/texmf-dist/doc/latex/amsrefs/cite-xa.tex b/Master/texmf-dist/doc/latex/amsrefs/cite-xa.tex
new file mode 100644
index 00000000000..d6930f7cbf1
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/amsrefs/cite-xa.tex
@@ -0,0 +1,221 @@
+\documentclass{article}
+\usepackage[author-year]{amsrefs}
+
+\newcommand{\latin}{\emph}
+
+\begin{document}
+
+\title{Evolutionary walks through a land plant morphospace}
+\author{Karl J. Niklas}
+\def\jinfo{Journal of Experimental Botany, Vol. 50, No. 330, pp. 39-52,
+  January 1999, \copyright\ Oxford University Press 1999}
+
+\maketitle
+\section{Introduction}
+
+Wright's protocol has been successfully recast in terms of spatial
+domains containing all (or at least many) of the conceivable
+morphological variants (`morphospaces' \latin{sensu}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%Thomas and Reif, 1993).
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\ocite{TR93}).
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+In this paper, I review the construction of a morphospace for early land
+plants
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%(Niklas and Kerchner, 1984; Niklas, 1997a, b)
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\cites{NK84,N97-adaptive-walks,N97-effects}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+and show how it can be used \ldots.
+
+\ldots\ horizontally cantilevered branches impose the largest bending
+moments on subtending branches
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%(Niklas, 1992, 1994a).
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\cites{N92,N94-allometry}.
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\ldots\ This definition removes the sharp dichotomy said to exist
+between `object' and `process' complexity (i.e. the number of different
+parts in an organic system versus the number of different interactions
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%among them; McShea, 1996).
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+among them \cite{M96}).
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\ldots\ fossil record for Devonian and Carboniferous vascular land
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%plants (Niklas et al., 1980, 1983; Gensel and Andrews, 1984).
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+plants \cites{NTK80,NTK83,GA84}.
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\begin{bibsection}
+\begin{biblist}
+
+\bib*{HSW80}{collection}{
+  editor={Hecht, M.},
+  editor={Steere, W.},
+  editor={Wallace, B.},
+  date={1980},
+  title={Evolutionary biology},
+  publisher={Plenum Publishing},
+  address={New York},
+}
+
+\bib{fn95}{article}{
+  author={Farnsworth, K. D.},
+  author={Niklas, K. J.},
+  date={1995},
+  title={Theories of optimization, form and function in branching
+  architectures in plants},
+  journal={Functional Ecology},
+  volume={9},
+  pages={355\ndash 363},
+}
+
+\typeout{}
+\typeout{ [Testing some of the amsrefs warning messages ...]}
+
+\bib{GMW81}{book}{
+  author={Gill, P. E.},
+  author={Murray, W.}
+  author={Wright, M. H.},
+  date={1981},
+  title={Practical optimization},
+  publisher={Academic Press},
+  address={London},
+}
+
+\bib{GA84}{book}{
+  author={Gensel, P. G.},
+  author={Andrews, H. N.},
+  date={1984},
+  title={Plant life in the Devonian},
+  publisher={Praeger Press},
+  address={New York},
+}
+
+\bib{M96}{article}{
+  author={McShea, D. W.},
+  date={1996},
+  title={Metazoan complexity and evolution: is there a trend},
+  journal={Evolution},
+  volume={50},
+  pages={477\ndash 492},
+}
+
+\bib{MWWW73}{book}{
+  author={Meredith, D. D.},
+  author={Wong, K. W.},
+  author={Woodhead, R. W.},
+  author={Wortman, R. H.},
+  date={1973},
+  title={Design and planning of engineering systems},
+  publisher={Prentice-Hall},
+  address={Englewood Cliffs, New Jersey},
+}
+
+\bib{N92}{book}{
+  author={Niklas, K. J.},
+  date={1992},
+  title={Plant biomechanics: an engineering approach to plant form and
+  function},
+  publisher={University of Chicago Press},
+  address={Illinois},
+}
+
+\bib{N94-allometry}{book}{
+  author={Niklas, K. J.},
+  date={1994},
+  title={Plant allometry: the scaling of form and process},
+  publisher={University of Chicago Press},
+  address={Illinois},
+}
+
+\bib{N94-simulation}{article}{
+  author={Niklas, K. J.},
+  date={1994},
+  title={Simulation of organic shape: the roles of phenomenology and
+         mechanism},
+  journal={Journal of Morphology},
+  volume={219},
+  pages={243\ndash 246},
+}
+
+\bib{N97-adaptive-walks}{article}{
+  author={Niklas, K. J.},
+  date={1997},
+  title={Adaptive walks through fitness landscapes for early vascular
+         land plants},
+  journal={American Journal of Botany},
+  volume={84},
+  pages={16\ndash 25},
+}
+
+\bib{N97-effects}{article}{
+  author={Niklas, K. J.},
+  date={1997},
+  title={Effects of hypothetical developmental barriers and abrupt
+         environmental changes on adaptive walks in a computer-generated
+         domain for early vascular land plants},
+  journal={Paleobiology},
+  volume={23},
+  pages={63\ndash 76},
+}
+
+\bib{NK84}{article}{
+  author={Niklas, K. J.},
+  author={Kerchner, V.},
+  date={1984},
+  title={Mechanical and photosynthetic constraints on the evolution of
+  plant shape},
+  journal={Paleobiology},
+  volume={10},
+  pages={79\ndash 101},
+}
+
+\bib{NTK80}{article}{
+  author={Niklas, K. J.},
+  author={Tiffney, B. H.},
+  author={Knoll, A. H.},
+  date={1980},
+  title={Apparent changes in the diversity of fossil plants: a
+         preliminary assessment},
+  xref={HSW80},
+  volume={12},
+  pages={1\ndash 89},
+}
+
+\bib{NTK83}{article}{
+  author={Niklas, K. J.},
+  author={Tiffney, B. H.},
+  author={Knoll, A. H.},
+  date={1983},
+  title={Patterns in vascular land plant diversification},
+  journal={Nature},
+  volume={303},
+  pages={614\ndash 616},
+}
+
+\bib{TR93}{article}{
+  author={Thomas, R. D. K.},
+  author={Reif, W.-E.},
+  % This is just to show what the warning looks like for an empty field:
+  author={},
+  date={1993},
+  title={The skeleton space: a finite set of organic designs},
+  journal={Evolution},
+  volume={47},
+  pages={341\ndash 360},
+}
+
+\end{biblist}
+\end{bibsection}
+
+\end{document}
diff --git a/Master/texmf-dist/doc/latex/amsrefs/cite-xb.pdf b/Master/texmf-dist/doc/latex/amsrefs/cite-xb.pdf
new file mode 100644
index 00000000000..5b843877d82
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/amsrefs/cite-xb.pdf
diff --git a/Master/texmf-dist/doc/latex/amsrefs/cite-xb.tex b/Master/texmf-dist/doc/latex/amsrefs/cite-xb.tex
new file mode 100644
index 00000000000..5b7aa30f8d2
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/amsrefs/cite-xb.tex
@@ -0,0 +1,98 @@
+\documentclass{amsart}
+
+\usepackage{amsrefs}
+
+\newtheorem{thm}{Theorem}[section]
+
+\begin{document}
+
+\title{Citation tests}
+
+\author{Michael Downes}
+
+   The following examples are derived from
+   \emph{Homology manifold bordism} by Heather Johnston and Andrew
+   Ranicki (Trans.\ Amer.\ Math.\ Soc.\ \textbf{352} no 11 (2000), PII: S
+   0002-9947(00)02630-1).
+
+\bigskip \noindent \rule{\columnwidth}{0.5pt}\par
+
+\setcounter{section}{3}
+
+The results of Johnston \cite{Jo} on homology
+manifolds are extended here. It is not
+possible to investigate transversality by
+geometric methods---as in \cite{Jo} we employ
+bordism and surgery instead.
+
+The proof of transversality is indirect,
+relying heavily on surgery theory\mdash see
+Kirby and Siebenmann \cite{KS}*{III, \S 1},
+Marin \cite{M} and Quinn \cite{Q3}. We shall
+use the formulation in terms of topological
+block bundles of Rourke and Sanderson
+\cite{RS}.
+
+$Q$ is a codimension $q$ subspace by Theorem
+4.9 of Rourke and Sanderson \cite{RS}.
+(Hughes, Taylor and Williams \cite{HTW}
+obtained a topological regular neighborhood
+theorem for arbitrary submanifolds \dots.)
+
+Wall \cite{Wa}*{Chapter 11} obtained a
+codimension $q$ splitting obstruction \dots.
+
+\dots\ following the work of Cohen \cite{Co}
+on $PL$ manifold transversality.
+
+In this case each inverse image is
+automatically a $PL$ submanifold of
+codimension $\sigma$ (Cohen \cite{Co}), so
+there is no need to use $s$-cobordisms.
+
+Quinn \cite{Q2}*{1.1} proved that \dots
+
+\begin{thm}[The additive structure of
+  homology manifold bordism, Johnston
+  \cite{Jo}]
+\dots
+\end{thm}
+
+For $m\geq 5$ the Novikov-Wall surgery theory
+for topological manifolds gives an exact
+sequence (Wall \cite{Wa}*{Chapter 10}.
+
+The surgery theory of topological manifolds
+was extended to homology manifolds in Quinn
+\cites{Q1,Q2} and Bryant, Ferry, Mio
+and Weinberger \cite{BFMW}.
+
+The 4-periodic obstruction is equivalent to
+an $m$-dimensional homology manifold, by
+\cite{BFMW}.
+
+Thus, the surgery exact sequence of
+\cite{BFMW} does not follow Wall \cite{Wa} in
+relating homology manifold structures and
+normal invariants.
+
+\dots\ the canonical $TOP$ reduction
+(\cite{FP}) of the Spivak normal fibration of
+$M$ \dots
+
+\begin{thm}[Johnston \cite{Jo}]
+\dots
+\end{thm}
+
+Actually \cite{Jo}*{(5.2)} is for $m\geq 7$,
+but we can improve to $m\geq 6$ by a slight
+variation of the proof as described below.
+
+(This type of surgery on a Poincar\'e space
+is in the tradition of Lowell Jones
+\cite{Jn}.)
+
+\bibliographystyle{amsxport}
+\bibliography{jr}
+
+\end{document}
diff --git a/Master/texmf-dist/doc/latex/amsrefs/cite-xh.pdf b/Master/texmf-dist/doc/latex/amsrefs/cite-xh.pdf
new file mode 100644
index 00000000000..2e4b3973349
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/amsrefs/cite-xh.pdf
diff --git a/Master/texmf-dist/doc/latex/amsrefs/cite-xh.tex b/Master/texmf-dist/doc/latex/amsrefs/cite-xh.tex
new file mode 100644
index 00000000000..a40c04d88ea
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/amsrefs/cite-xh.tex
@@ -0,0 +1,111 @@
+%&pdfelatex
+%% This is intended to be a working example of using the amsrefs
+%% backrefs option in conjunction with hyperref. It works for me using
+%% pdflatex [mjd,2002-01-03]. Cf testbib.tex in the hyperref distrib.
+%%
+%% This is pdfTeX, Version 3.14159-14h-released-20010417 (Web2C 7.3.3.1)
+%% (format=pdflatex 2001.12.21)
+%% Package: hyperref 2000/01/22 v6.69c Hypertext links for LaTeX
+
+\documentclass{article}
+\usepackage{times}
+\usepackage[colorlinks,citecolor=red,pagebackref,hypertexnames=false]{hyperref}
+\usepackage[backrefs]{amsrefs}
+
+\newtheorem{thm}{Theorem}[section]
+
+\providecommand{\MR}{}
+
+\begin{document}
+\title{Testing amsrefs with the hyperref package}
+\author{MJD}
+\maketitle
+
+   The following examples are derived from
+   \emph{Homology manifold bordism} by Heather Johnston and Andrew
+   Ranicki (Trans.\ Amer.\ Math.\ Soc.\ \textbf{352} no 11 (2000), PII: S
+   0002-9947(00)02630-1).
+
+\setcounter{section}{3}
+\section{Homology manifold bordism}
+
+The results of Johnston \cite{Jo} on homology
+manifolds are extended here. It is not
+possible to investigate transversality by
+geometric methods---as in \cite{Jo} we employ
+bordism and surgery instead.
+
+%Kirby and Siebenmann \cite{KS} (III,\S 1),
+The proof of transversality is indirect,
+relying heavily on surgery theory\mdash see
+Kirby and Siebenmann \cite{KS}*{III, \S 1},
+Marin \cite{M} and Quinn \cite{Q3}. We shall
+use the formulation in terms of topological
+block bundles of Rourke and Sanderson
+\cite{RS}.
+
+$Q$ is a codimension $q$ subspace by Theorem
+4.9 of Rourke and Sanderson \cite{RS}.
+(Hughes, Taylor and Williams \cite{HTW}
+obtained a topological regular neighborhood
+theorem for arbitrary submanifolds \dots.)
+
+%Wall \cite{Wa} (Chapter 11) obtained a
+Wall \cite{Wa}*{Chapter 11} obtained a
+codimension $q$ splitting obstruction \dots.
+
+\dots\ following the work of Cohen \cite{Co}
+on $PL$ manifold transversality.
+
+In this case each inverse image is
+automatically a $PL$ submanifold of
+codimension $\sigma$ (Cohen \cite{Co}), so
+there is no need to use $s$-cobordisms.
+
+%Quinn (\cite{Q2}, 1.1) proved that \dots
+Quinn \cite{Q2}*{1.1} proved that \dots
+
+\begin{thm}[The additive structure of
+  homology manifold bordism, Johnston
+  \cite{Jo}]
+\dots
+\end{thm}
+
+For $m\geq 5$ the Novikov-Wall surgery theory
+for topological manifolds gives an exact
+sequence (Wall \cite{Wa}*{Chapter 10}.
+
+The surgery theory of topological manifolds
+was extended to homology manifolds in Quinn
+\cites{Q1,Q2} and Bryant, Ferry, Mio
+and Weinberger \cite{BFMW}.
+
+The 4-periodic obstruction is equivalent to
+an $m$-dimensional homology manifold, by
+\cite{BFMW}.
+
+Thus, the surgery exact sequence of
+\cite{BFMW} does not follow Wall \cite{Wa} in
+relating homology manifold structures and
+normal invariants.
+
+\dots\ the canonical $TOP$ reduction
+(\cite{FP}) of the Spivak normal fibration of
+$M$ \dots
+
+\begin{thm}[Johnston \cite{Jo}]
+\dots
+\end{thm}
+
+Actually \cite{Jo}*{(5.2)} is for $m\geq 7$,
+but we can improve to $m\geq 6$ by a slight
+variation of the proof as described below.
+
+(This type of surgery on a Poincar\'e space
+is in the tradition of Lowell Jones
+\cite{Jn}.)
+
+\bibliographystyle{amsxport}
+\bibliography{jr}
+
+\end{document}
diff --git a/Master/texmf-dist/doc/latex/amsrefs/cite-xs.pdf b/Master/texmf-dist/doc/latex/amsrefs/cite-xs.pdf
new file mode 100644
index 00000000000..314d66acfda
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/amsrefs/cite-xs.pdf
diff --git a/Master/texmf-dist/doc/latex/amsrefs/cite-xs.tex b/Master/texmf-dist/doc/latex/amsrefs/cite-xs.tex
new file mode 100644
index 00000000000..15167b3b9f1
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/amsrefs/cite-xs.tex
@@ -0,0 +1,19 @@
+\documentclass{amsart}
+\usepackage{amsrefs}
+
+\begin{document}
+
+\section{Introduction}
+
+A single cite \cite{MR1451594}
+and a multiple \cites{Weyl,Gould,Rob,MR95f:17013,Ser77}.
+And then with an option in the middle:
+\citelist{\cite{Rob} \cite{Gould} \cite{MR95f:17013}*{Chapter 18}}.
+
+\begin{bibsection}
+\begin{biblist}
+\bibselect{gktest}
+\end{biblist}
+\end{bibsection}
+
+\end{document}
diff --git a/Master/texmf-dist/doc/latex/amsrefs/gktest.ltb b/Master/texmf-dist/doc/latex/amsrefs/gktest.ltb
new file mode 100644
index 00000000000..4236749372b
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/amsrefs/gktest.ltb
@@ -0,0 +1,440 @@
+\documentclass{amsbook}
+\usepackage{amsrefs}
+\providecommand{\cyr}{}
+\providecommand{\cprime}{\textprime}
+\providecommand{\germ}{\mathfrak }
+
+\begin{document}
+\begin{bibdiv}
+\begin{biblist}
+
+\bib{MR58:27738}{book}{
+    author={Andrews, G.~E.},
+     title={The theory of partitions},
+ publisher={Encyclopedia of Mathematics and its Applications, Vol. 2,
+  Addison-Wesley, Mass.-London-Amsterdam},
+      date={1976},
+}
+
+\bib{MR90b:82001}{book}{
+    author={Baxter, R.~J.},
+     title={Exactly solved models in statistical mechanics},
+ publisher={Academic Press Inc.},
+   address={London},
+      date={1989},
+      ISBN={0-12-083182-1},
+}
+
+\bib{MR1451594}{article}{
+    author={Benkart, G.},
+    author={Kang, S.-J.},
+    author={Melville, D.},
+     title={Quantized enveloping algebras for Borcherds superalgebras},
+      date={1998},
+      ISSN={0002-9947},
+   journal={Trans. Amer. Math. Soc.},
+    volume={350},
+    number={8},
+     pages={3297\ndash 3319},
+}
+
+\bib{MR95d:17023}{article}{
+    author={Benkart, G.},
+    author={Kang, S.-J.},
+    author={Misra, K.~C.},
+     title={Indefinite Kac-Moody algebras of classical type},
+      date={1994},
+      ISSN={0001-8708},
+   journal={Adv. Math.},
+    volume={105},
+    number={1},
+     pages={76\ndash 110},
+}
+
+\bib{MR93d:17017}{article}{
+    author={Chari, V.},
+    author={Pressley, A.},
+     title={Quantum affine algebras},
+      date={1991},
+      ISSN={0010-3616},
+   journal={Comm. Math. Phys.},
+    volume={142},
+    number={2},
+     pages={261\ndash 283},
+}
+
+\bib{MR26:2519}{book}{
+    author={Curtis, Charles~W.},
+    author={Reiner, Irving},
+     title={Representation theory of finite groups and associative algebras},
+ publisher={Interscience Publishers, a division of John Wiley \& Sons, New
+  York-London},
+      date={1962},
+    review={\MR{26 \#2519}},
+}
+
+\bib{Dr86}{incollection}{
+    author={Drinfel$'$d, V.~G.},
+     title={Quantum Groups},
+      date={1987},
+conference={
+    title={Proceedings of the International Congress of Mathematicians},
+    address={Berkeley},
+    date={1986}
+},
+ publisher={American Mathematical Society, Providence},
+     pages={798\ndash 820},
+}
+
+\bib{MR94d:17032}{article}{
+    author={Feingold, A.~J.},
+    author={Frenkel, I.~B.},
+    author={Ries, J.~F.~X.},
+     title={Representations of hyperbolic Kac-Moody algebras},
+      date={1993},
+      ISSN={0021-8693},
+   journal={J. Algebra},
+    volume={156},
+    number={2},
+     pages={433\ndash 453},
+}
+
+\bib{MR84f:17004}{article}{
+    author={Frenkel, I.~B.},
+    author={Kac, V.~G.},
+     title={Basic representations of affine Lie algebras and dual resonance
+  models},
+      date={1981},
+      ISSN={0020-9910},
+   journal={Invent. Math.},
+    volume={62},
+    number={1},
+     pages={23\ndash 66},
+}
+
+\bib{Gould}{article}{
+    author={Gould, M.~D.},
+    author={Zhang, R.~B.},
+    author={Bracken, A.~J.},
+     title={Quantum double construction for graded Hopf algebras},
+      date={1993},
+   journal={Bull. Austral. Math. Soc.},
+    volume={47},
+     pages={353\ndash 375},
+}
+
+\bib{MR1633090}{article}{
+    author={Hong, J.},
+    author={Kang, S.-J.},
+    author={Miwa, T.},
+    author={Weston, R.},
+     title={Mixing of ground states in vertex models},
+      date={1998},
+      ISSN={0305-4470},
+   journal={J. Phys. A},
+    volume={31},
+    number={28},
+     pages={L515\ndash L525},
+}
+
+\bib{Jac1}{book}{
+    author={Jacobson, N.},
+     title={Basic algebra II},
+ publisher={W. H. Freeman and Company},
+   address={San Francisco},
+      date={1980},
+      ISBN={0-7167-1079-X (v. 2)},
+}
+
+\bib{MR98k:17037}{article}{
+    author={Jeong, K.},
+    author={Kang, S.-J.},
+    author={Lee, H.},
+     title={Lie-admissible algebras and Kac-Moody algebras},
+      date={1997},
+      ISSN={0021-8693},
+   journal={J. Algebra},
+    volume={197},
+    number={2},
+     pages={492\ndash 505},
+}
+
+\bib{Joseph}{book}{
+    author={Joseph, A.},
+     title={Quantum groups and their primitive ideals},
+ publisher={Springer-Verlag},
+   address={Berlin},
+      date={1995},
+      ISBN={3-540-57057-8},
+}
+
+\bib{Kac90}{book}{
+    author={Kac, V.~G.},
+     title={Infinite dimensional Lie algebras},
+   edition={3},
+ publisher={Cambridge University Press},
+   address={Cambridge},
+      date={1990},
+      ISBN={0-521-37215-1; 0-521-46693-8},
+}
+
+\bib{KMW}{incollection}{
+    author={Kac, V.~G.},
+    author={Moody, R.~V.},
+    author={Wakimoto, M.},
+     title={On ${E}\sb {10}$},
+      date={1988},
+conference={
+    title={Differential geometrical methods in theoretical physics},
+    address={Como},
+    date={1987}
+},
+ publisher={Kluwer Acad. Publ.},
+   address={Dordrecht},
+     pages={109\ndash 128},
+}
+
+\bib{Ka93-1}{article}{
+    author={Kang, S.-J.},
+     title={Root multiplicities of the hyperbolic Kac-Moody Lie algebra
+  $HA\sp{(1)}\sb 1$},
+      date={1993},
+      ISSN={0021-8693},
+   journal={J. Algebra},
+    volume={160},
+    number={2},
+     pages={492\ndash 523},
+}
+
+\bib{MR94d:17033}{article}{
+    author={Kang, S.-J.},
+     title={On the hyperbolic Kac-Moody Lie algebra $HA\sb 1\sp
+  {(1)}$},
+      date={1994},
+      ISSN={0002-9947},
+   journal={Trans. Amer. Math. Soc.},
+    volume={341},
+    number={2},
+     pages={623\ndash 638},
+}
+
+\bib{MR97e:17041}{incollection}{
+    author={Kang, S.-J.},
+     title={Root multiplicities of graded Lie algebras},
+      date={1996},
+conference={
+    title={Lie algebras and their representations},
+    address={Seoul},
+    date={1995},
+},
+ publisher={Amer. Math. Soc.},
+   address={Providence, RI},
+     pages={161\ndash 176},
+}
+
+\bib{MR1641035}{article}{
+    author={Kang, S.-J.},
+    author={Kashiwara, M.},
+     title={Quantized affine algebras and crystals with core},
+      date={1998},
+      ISSN={0010-3616},
+   journal={Comm. Math. Phys.},
+    volume={195},
+    number={3},
+     pages={725\ndash 740},
+}
+
+\bib{MR93g:17027}{article}{
+    author={Kang, S.-J.},
+    author={Kashiwara, M.},
+    author={Misra, K.~C.},
+    author={Miwa, T.},
+    author={Nakashima, T.},
+    author={Nakayashiki, A.},
+     title={Vertex models and crystals},
+      date={1992},
+      ISSN={0764-4442},
+   journal={C. R. Acad. Sci. Paris S\'er. I Math.},
+    volume={315},
+    number={4},
+     pages={375\ndash 380},
+}
+
+\bib{MR1464137}{article}{
+    author={Kang, S.-J.},
+    author={Kim, M.-H.},
+     title={Borcherds superalgebras and a monstrous Lie superalgebra},
+      date={1997},
+      ISSN={0025-5831},
+   journal={Math. Ann.},
+    volume={307},
+    number={4},
+     pages={677\ndash 694},
+}
+
+\bib{MR95f:17013}{article}{
+    author={Kang, S.-J.},
+    author={Misra, K.~C.},
+     title={Crystal bases and tensor product decompositions of $U\sb q(G\sb
+  2)$-modules},
+      date={1994},
+      ISSN={0021-8693},
+   journal={J. Algebra},
+    volume={163},
+    number={3},
+     pages={675\ndash 691},
+}
+
+\bib{Kash90}{article}{
+    author={Kashiwara, M.},
+     title={Crystalizing the $q$-analogue of universal enveloping algebras},
+      date={1990},
+   journal={Comm. Math. Phys.},
+    volume={133},
+     pages={249\ndash 260},
+}
+
+\bib{Keng82}{book}{
+    author={Keng, H.~L.},
+     title={Introduction to number theory},
+ publisher={Springer-Verlag},
+      date={1982},
+}
+
+\bib{Wang}{article}{
+    author={Li, W.~L.},
+     title={Classification of generalized Cartan matrices of hyperbolic
+  type},
+      date={1988},
+   journal={Chinese Ann. Math. Ser. B},
+    volume={9},
+    number={1},
+     pages={68\ndash 77},
+}
+
+\bib{MR98a:20041}{incollection}{
+    author={Littelmann, P.},
+     title={An effective method to classify nilpotent orbits},
+      date={1996},
+conference={
+     title={Algorithms in algebraic geometry and applications},
+   address={Santander},
+      year={1994}
+},
+ publisher={Birkh\"auser},
+   address={Basel},
+     pages={255\ndash 269},
+}
+
+\bib{MR2000d:17019}{article}{
+    author={Littelmann, P.},
+     title={Bases canoniques et applications},
+      date={1998},
+      ISSN={0303-1179},
+   journal={Ast\'erisque},
+    number={252},
+     pages={Exp.\ No.\ 847, 5, 287\ndash 306},
+      note={S\'eminaire Bourbaki. Vol.\ 1997/98},
+}
+
+\bib{MR92d:16032}{article}{
+    author={Littelmann, P.},
+    author={Procesi, C.},
+     title={On the Poincar\'e series of the invariants of binary forms},
+      date={1990},
+      ISSN={0021-8693},
+   journal={J. Algebra},
+    volume={133},
+    number={2},
+     pages={490\ndash 499},
+}
+
+\bib{MR92g:20067}{incollection}{
+    author={Littelmann, Peter},
+     title={Good filtrations, decomposition rules and standard monomial
+  theory},
+      date={1991},
+conference={
+     title={Computational aspects of Lie group representations and
+            related topics},
+   address={Amsterdam},
+      date={1990}
+},
+ publisher={Math. Centrum Centrum Wisk. Inform.},
+   address={Amsterdam},
+     pages={89\ndash 106},
+}
+
+\bib{MR92b:14027}{incollection}{
+    author={Littelmann, Peter},
+    author={Procesi, Claudio},
+     title={Equivariant cohomology of wonderful compactifications},
+      date={1990},
+conference={
+     title={Operator algebras, unitary representations, enveloping
+            algebras, and invariant theory},
+   address={Paris},
+      date={1989}
+},
+ publisher={Birkh\"auser Boston},
+   address={Boston, MA},
+     pages={219\ndash 262},
+}
+
+\bib{MR94m:17016}{book}{
+    author={Lusztig, G.},
+     title={Introduction to quantum groups},
+ publisher={Birkh\"auser Boston Inc.},
+   address={Boston, MA},
+      date={1993},
+      ISBN={0-8176-3712-5},
+}
+
+\bib{Nak96}{article}{
+    author={Nakayashiki, A.},
+     title={Fusion of the $q$-vertex operators and its applications
+            to solvable vertex models},
+      date={1996},
+      ISSN={0010-3616},
+   journal={Commun. Math. Phys.},
+    volume={177},
+    number={2},
+     pages={27\ndash 62},
+}
+
+\bib{Rob}{article}{
+    author={Robinson, D.},
+     title={On representations of the symmetric group},
+      date={1938},
+   journal={Amer. J. Math.},
+    volume={60},
+     pages={745\ndash 760},
+}
+
+\bib{Ser77}{book}{
+    author={Serre, J.-P.},
+     title={Linear representations of finite groups},
+ publisher={Springer-Verlag},
+      date={1977},
+}
+
+\bib{Weyl}{book}{
+    author={Weyl, H.},
+     title={Classical groups},
+   edition={2},
+ publisher={Princeton University Press},
+      date={1946},
+}
+
+\bib{Young4}{article}{
+    author={Young, A.},
+     title={On quantitative substitutional analysis IV},
+      date={1929},
+   journal={Proc. Lond. Math. Soc. (2)},
+    volume={31},
+     pages={253\ndash 272},
+}
+
+\end{biblist}
+\end{bibdiv}
+\end{document}
diff --git a/Master/texmf-dist/doc/latex/amsrefs/ifoption.pdf b/Master/texmf-dist/doc/latex/amsrefs/ifoption.pdf
index ea542b8e0f7..f891c6e6339 100644
--- a/Master/texmf-dist/doc/latex/amsrefs/ifoption.pdf
+++ b/Master/texmf-dist/doc/latex/amsrefs/ifoption.pdf
diff --git a/Master/texmf-dist/doc/latex/amsrefs/jr.bib b/Master/texmf-dist/doc/latex/amsrefs/jr.bib
new file mode 100644
index 00000000000..fdfc83c5689
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/amsrefs/jr.bib
@@ -0,0 +1,214 @@
+@article{BFMW,
+  author={J. Bryant and S. Ferry and W. Mio and S. Weinberger},
+  title={Topology of homology manifolds},
+  journal={Ann. of Math.},
+  volume={143},
+  pages={435--467},
+  year={1996},
+  review={\MR{97b:57017}},
+}
+
+@article{Ch,
+  author={T. A. Chapman},
+  title={Simple homotopy theory for {$ANR$}'s},
+  journal={General Topology and its Applications},
+  volume={7},
+  pages={165--174},
+  year={1977},
+  review={\MR{58:18414}},
+}
+
+@article{Co,
+  author={M. Cohen},
+  title={Simplicial structures and transverse cellularity},
+  journal={Ann. of Math.},
+  volume={85},
+  pages={218--245},
+  year={1967},
+  review={\MR{35:1037}},
+}
+
+@incollection{FP,
+  author={S. Ferry and E. K. Pedersen},
+  title={Epsilon surgery theory {I}},
+  booktitle={Novikov Conjectures, Index Theorems and Rigidity,
+             Vol. 2 ({O}berwolfach, 1993)},
+  series={Lond. Math. Soc. Lecture Note Ser.},
+  volume={227},
+  publisher={Cambridge University Press},
+  year={1995},
+  pages={167--226},
+  review={\MR{97g:57044}},
+}
+
+@article{HTW,
+  author={B. Hughes and L. Taylor and B. Williams},
+  title={Manifold approximate fibrations are approximately bundles},
+  journal={Forum Math.},
+  volume={3},
+  pages={309--325},
+  year={1991},
+  review={\MR{92k:57040}},
+}
+
+@article{Jo,
+  author={H. Johnston},
+  title={Transversality for homology manifolds},
+  journal={Topology},
+  volume={38},
+  pages={673--697},
+  year={1999},
+  review={\MR{99k:57048}},
+}
+
+@article{Jn,
+  author={L. Jones},
+  title={Patch spaces: a geometric representation for {P}oincar\'e
+         spaces},
+  journal={Ann. of Math.},
+  volume={97},
+  pages={306--343},
+  year={1973},
+  note={102, 183--185 (1975) \MR{47:4269}; \MR{52:11930}},
+}
+
+@book{KS,
+  author={R. Kirby and L. Siebenmann},
+  title={Foundational essays on topological manifolds, smoothings, and
+         triangulations},
+  series={Ann. of Math. Study},
+  volume={88},
+  publisher={Princeton University Press},
+  year={1977},
+  review={\MR{58:31082}},
+}
+
+@article{LR,
+  author={N. Levitt and A. Ranicki},
+  title={Intrinsic transversality structures},
+  journal={Pacific J. Math.},
+  volume={129},
+  pages={85--144},
+  year={1987},
+  review={\MR{88m:57027}},
+}
+
+@article{M,
+  author={A. Marin},
+  title={La transversalit\'e topologique},
+  language={French},
+  journal={Ann. of Math.},
+  volume={106},
+  pages={269--293},
+  year={1977},
+  review={\MR{57:10707}},
+}
+
+@article{Q1,
+  author={F. Quinn},
+  title={Resolutions of homology manifolds, and the topological
+         characterization of manifolds},
+  journal={Invent. Math.},
+  volume={72},
+  pages={264--284},
+  year={1983},
+  note={Corrigendum \textbf{85} (1986) 653},
+  review={\MR{85b:57023}, \MR{87g:57031}},
+}
+
+@article{Q2,
+  author={F. Quinn},
+  title={An obstruction to the resolution of homology manifolds},
+  journal={Michigan Math. J.},
+  volume={34},
+  pages={284--291},
+  year={1987},
+  review={\MR{88j:57016}},
+}
+
+@article{Q3,
+  author={F. Quinn},
+  title={Topological transversality holds in all dimensions},
+  journal={Bull. Amer. Math. Soc.},
+  volume={18},
+  pages={145--148},
+  year={1988},
+  review={\MR{89c:57016}},
+}
+
+@article{R1,
+  author={A. Ranicki},
+  title={The algebraic theory of surgery {II}. {A}pplications to topology},
+  journal={Proc. Lond. Math. Soc.},
+  volume={40},
+  pages={193--287},
+  year={1980},
+  review={\MR{82f:57024b}},
+}
+
+@book{R2,
+  author={A. Ranicki},
+  title={Exact sequences in the algebraic theory of surgery},
+  series={Mathematical Notes},
+  volume={26},
+  publisher={Princeton University Press},
+  year={1981},
+  review={\MR{82h:57027}},
+}
+
+@book{R3,
+  author={A. Ranicki},
+  title={Algebraic {$L$}--theory and topological manifolds},
+  series={Cambridge Tracts in Mathematics},
+  volume={102},
+  publisher={Cambridge University Press},
+  year={1992},
+  review={\MR{94i:57051}},
+}
+
+@article{RS,
+  author={C. P. Rourke and B. J. Sanderson},
+  title={On topological neighbourhoods},
+  journal={Compositio Math.},
+  volume={22},
+  pages={387--425},
+  year={1970},
+  review={\MR{45:7720}},
+}
+
+@book{Wa,
+  author={C. T. C. Wall},
+  title={Surgery on compact manifolds},
+  edition={2},
+  publisher={Academic Press},
+  year={1970},
+}
+
+@book{Wei,
+  author={S. Weinberger},
+  title={Nonlocally linear manifolds and orbifolds},
+  series={Proc. 1994 Z\"urich ICM},
+  pages={637--647},
+  publisher={Birkh\"auser},
+  year={1995},
+  review={\MR{97g:57028}},
+}
+
+@book{Wein,
+  author={S. Weinberger},
+  title={The topological classification of stratified spaces},
+  series={Chicago Lectures in Mathematics},
+  publisher={University of Chicago Press},
+  year={1994},
+  review={\MR{96b:57024}},
+}
+
+@article{Wes,
+  author={J. West},
+  title={Mapping {H}ilbert cube manifolds to {$ANR$}'s},
+  journal={Ann. of Math.},
+  volume={106},
+  pages={1--18},
+  year={1977},
+  review={\MR{56:9534}},
+}
diff --git a/Master/texmf-dist/doc/latex/amsrefs/mathscinet.pdf b/Master/texmf-dist/doc/latex/amsrefs/mathscinet.pdf
index 8a8fa1f96d3..07b002a60e9 100644
--- a/Master/texmf-dist/doc/latex/amsrefs/mathscinet.pdf
+++ b/Master/texmf-dist/doc/latex/amsrefs/mathscinet.pdf
diff --git a/Master/texmf-dist/doc/latex/amsrefs/pcatcode.pdf b/Master/texmf-dist/doc/latex/amsrefs/pcatcode.pdf
index e6acc823925..0b3759a6463 100644
--- a/Master/texmf-dist/doc/latex/amsrefs/pcatcode.pdf
+++ b/Master/texmf-dist/doc/latex/amsrefs/pcatcode.pdf
diff --git a/Master/texmf-dist/doc/latex/amsrefs/rkeyval.pdf b/Master/texmf-dist/doc/latex/amsrefs/rkeyval.pdf
index b43cb81e5f0..96229e1508c 100644
--- a/Master/texmf-dist/doc/latex/amsrefs/rkeyval.pdf
+++ b/Master/texmf-dist/doc/latex/amsrefs/rkeyval.pdf
diff --git a/Master/texmf-dist/doc/latex/amsrefs/textcmds.pdf b/Master/texmf-dist/doc/latex/amsrefs/textcmds.pdf
index a6a1bd6b201..ebde0a9ff40 100644
--- a/Master/texmf-dist/doc/latex/amsrefs/textcmds.pdf
+++ b/Master/texmf-dist/doc/latex/amsrefs/textcmds.pdf