UKTeX Digest	Friday, 18 Jan 1991
		Volume 91 : Issue 3

Today's Topics:
			      TeX and X
			      Amiga TeX?
		Is pf in AMSLaTeX defined incorrectly?
		    MLTeX V3 Change file archived


Moderator:     Peter Abbott (Aston University)
Editor:        David Osborne (University of Nottingham)
Contributions: UKTeX@uk.ac.aston
Administration, subscription and unsubscription requests:
               UKTeX-request@uk.ac.aston

UKTeX back issues: stored in the Aston archive, in the directory
               DISK$TEX:[TEX-ARCHIVE.DIGESTS.UKTEX.91]
TeXhax back issues:stored in the Aston archive, in the directory
               DISK$TEX:[TEX-ARCHIVE.DIGESTS.TEXHAX.91]
Latest TeXhax: #01
TeXMaG back issues: stored in the Aston archive, in the directory
               DISK$TEX:[TEX-ARCHIVE.DIGESTS.TEX-MAG]
Latest TeXMaG: V4 N6

------------------------------------------------------------

Date:    Sat, 12 Jan 91 15:48:00 +0000
From:    "Edmund J. Sutcliffe <Edmund@UK.AC.BANGOR>" <CLS016@UK.AC.BANGOR.VAXC>
Subject: TeX and X

We are just begining to have a number of workstation capable of Running
X11 tasks. I wonder if anyone knows of good integrated environments for
TeX and LaTeX, under X11, partcularly Previewers and picture editors
for LaTeX under such and environment
	Edmund

------------------------------

Date:    Tue, 15 Jan 91 17:09:31 +0000
From:    WILLIAMS_B@uk.co.pcr.svax05
Subject: Amiga TeX?


Does anyone have any details about the Amiga TeX by Tom Rokicki?
(mainly, how much it costs!0

Thanks,
Brian Williams

------------------------------

Date:    Wed, 16 Jan 91 10:14:20 +0000
From:    Mike Piff <PM1MJP@UK.AC.SHEFFIELD.PRIMEA>
Subject: Is pf in AMSLaTeX defined incorrectly?

I am puzzled by the AMSLaTeX document style AMSART. This defined the
environment pf (Proof) essentially to be a \newenvironment with
{\bf Proof} at one end and \qed at the other.

Having experienced some problems myself with this kind of environment in
LaTeX, I was surprised at the simplicity of this definition. However, it
just doesn't work, for at least two reasons.

(a) It will not interact correctly with LaTeX list environments, such as
enumerate, in a proof of a theorem with two parts say:
\begin{pf}
   \begin{enumerate}
      \item First part
      \item Second part
   \end{enumerate}
\end{pf}
looks a mess. I cannot imagine any journal accepting that.

It really needs to be defined as a trivlist or list with a single
\item{\bf Proof} at its head.

(b) The \qed is not locked onto the end of the proof. There are ways of
getting it to float to the end of the current line, or to the next line it
there is not room on the current one, as in The TeXbook p106. These will
also ensure that the \qed will not float onto the next page in the latter
case. However, they will not prevent that from happening if the proof
ends with a list environment, say, such as

... provided
\begin{enumerate}
   \item $x>0$ and
   \item $0<y<1$.
\end{enumerate}
\end{pf}

Stopping such poor breaks automatically is quite tricky, and involves a
complete examination of all the features of LaTeX and TeX which might
interact in this way with pf.  A sample poor break is provided.

Mike Piff

\documentstyle{amsart}
\begin{document}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\begin{pf}
   \begin{enumerate}
      \item First
      \item Second
   \end{enumerate}
\end{pf}
\end{document}

- -----------------------------------------------------------------------------
From   Dr M. J. Piff, Department of Pure Mathematics, PO Box 597,
       Hicks Noisy Building Site, Hounsfield Road,
       SHEFFIELD S10 2UN, England.
Tel.   SHEFFIELD(0742) 768555 Extension 4431.
JANET  MPiff@UK.AC.SHEF.PA  or MPiff@UK.AC.SHEF.IBM
- -----------------------------------------------------------------------------

------------------------------

Date:    Thu, 17 Jan 91 09:56:54 -0400
From:    Gaulle Bernard <UCIR001%bitnet.FRORS12@edu.CUNY.CUNYVM>
Subject: MLTeX V3 Change file archived

The  mulitilingual modifications from Michael FERGUSON for TeX V3 are now
archived on <LISTSERV@DHDURZ1.Bitnet> and can be retrieved by the mean of
the following message line : GET MLTEX3 CHG GUT

           Bernard GAULLE        (GUTenberg President)

------------------------------

		 UK TeX ARCHIVE at ASTON UNIVERSITY

		      *** JANET NIFTP access ***
       Host: uk.ac.tex    username: public    password: public

		      *** Files of interest ***
    [tex-archive]00aston.readme           [tex-archive]00directory.list
    [tex-archive]00directory_dates.list   [tex-archive]00directory.size
    [tex-archive]00last30days.files

		     *** Media distributions ***

Washington Unix tape (28 March 1990)
 TeX 2.993(==3.0), LaTeX 2.09, Metafont 1.9 (2.0)
 Unix 4.2/3BSD & System V. Tar 1600bpi, blockfactor 20, 1 file.

 Send one 2400' tape with return labels AND return postage.

VMS backup of the archive requires two 2400' tapes at 6250bpi.
  
VMS backup of TeX 2.991 plus PSprint requires one tape.

Exabyte 8mm tapes: same formats available as 1/2in tapes.
 The following tapes are available: SONY Video 8 cassette P5 90MP,
 MAXCELL Video 8 cassette P5-90, TDK Video 8 cassette P5-90MPB

OzTeX (for Macintosh): Send 10 UNFORMATTED 800K disks with return postage.

emTeX (for MS-DOS): Send 11 UNFORMATTED 1.44Mb or 18 720K 3.5" disks,
 or 12 UNFORMATTED 5.25" disks, with return postage.

  *** Postage rates: (cheques made payable to Aston University) ***

 0.5" tapes: UK: 2.50 pounds sterling (one tape), 5.00 (two tapes).
             Europe: 5.00 pounds sterling (one tape), 9.00 (two tapes).
             Outside Europe please enquire.
 8mm tapes: UK: 1.00 pound sterling.  Europe: 2.00.
 DC600A cartridges: UK: 1.00 pound sterling.  Europe: 2.00.
 Diskettes: UK: 1.00 pounds sterling.  Europe: 2.00.

			*** Postal address ***
  Peter Abbott,
  Computing Service, Aston University, Aston Triangle, Birmingham B4 7ET

		      *** UK TeX Users Group ***
 For details, contact
  Malcolm Clark          or        Geeti Granger
  IRS                              John Wiley & Sons
  Polytechnic of Central London    Baffins Lane
  115 New Cavendish Street         Chichester
  London W1M 8JS                   W Sussex PO19 1UD
  email: malcolmc@uk.ac.pcl.mole
End of UKTeX Digest
*******************