UKTeX V89 #14       Friday 14  April 1989

                          Re: lists and theorems
                             \pounds in LaTeX
                     Downloadable PostScript outlines
                           emacs mode for LaTeX
                       Re: SB-TeX, *TeX.CH & SVI*.*
                             starting in LaTeX
        INIMF bug cured, missing VMS change-files, MF bug found...
                            Textures on 1MB Mac
                WEB 3.0; TeX change, same version; CM85.BUG


Editor Peter Abbott

Changes since the last UKTeX

Files created

        [public.preview.ibmpc]cdvi12.arc

        [public.pc.webtools]00README.TXT;1     
        [public.pc.webtools]PAS.BOO;1          
        [public.pc.webtools]TANGLE.BOO;1       
        [public.pc.webtools]UTILS.BOO;1        
        [public.pc.webtools]WEAVE.BOO;1        
        [public.pc.webtools]WEB.BOO;1          

Files deleted

        [public.preview.ibmpc]cdvi.arc


Latest TeXhax in the Archive is #21
Latest TeXmag in the Archive is V3N1

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

Received:
          from UKACRL by UK.AC.RL.IB (Mailer X1.25) with BSMTP id 2396; Fri, 07
             Apr 89 03:03:32 BS
Received:
            from UICVM by UKACRL.BITNET (Mailer X1.25) with BSMTP id 6798; Fri,
             07 Apr 89 03:03:31
Received:    by UICVM (Mailer R2.02) id 4416; Thu, 06 Apr 89 21:02:14 CDT
Date:        Thu, 06 Apr 89 20:41:20 CDT
From:        Don Hosek <U33297@EDU.UIC.UICVM>
Subject:     Re: lists and theorems
In-Reply-To: Your message of Mon, 03 Apr 89 16:44:23

On Mon, 03 Apr 89 16:44:23 <Mike Piff@NSS.Cs.Ucl.AC.UK> said:
>The problem with \newtheorem and \itemize or \enumerate happens when you say
>
>
>\newtheorem{Example}{Example}[chapter]
>
>and then
>
>\begin{Example}
>   \begin{itemize}
>      \item A
>      \item B
>      \item C
>   \end{itemize}
>\end{Example}
>
>The bullets get shifted into the left margin. With \enumerate, the first item
>is not lined up with the others.
>
>I cured the problem with:
>
>\newtheorem{Exampleno}{Example}[chapter]
>\newenvironment{Example}{\sloppy%
>   \begin{quotation}\noindent\begin{Exampleno}\small}%
>   {\end{Exampleno}\end{quotation}}
>
>This included some other features I needed.
 
The reason for lists appearing the way they do in the theorem environment
is due to the way that LaTeX handles lists. First, you should know that
lists, theorems, quotations, and numerous other environments are what
LaTeX calls a "displayed" paragraph. A displayed paragraph should be used
in only the three following ways:
 1) in the middle of another paragraph (displayed or otherwise)
 2) at the end of another paragraph
 3) as a paragraph by itself.
Inside a list, some special things are done with a displayed paragraph:
item number 3 above is no longer valid immediately after an \item command.
In order to have a displayed paragraph as a paragraph by itself in a list
the most recent \item must have some text following it. This makes sense
if you think about it since you generally won't want a list to look like
 1)
    o Stuff
    o Stuff
 2) More stuff
In fact, if we were to type
\begin{enumerate}
\item
 \begin{itemize}
 \item stuff
 \item stuff
 \end{itemize}
\item More stuff
\end{enumerate}
LaTeX will produce
 1) o stuff
   o stuff
 2) More stuff
 
So how does this apply to theorems? Well in fact the theorem environment
(along with center, flushleft, flushright, quote, etc. (see the LaTeX manual
under trivlist for details)) is actually a special case of a list environment.
The label "Theorem 1" is passed as the optional argument to \item (which is
the only item in the list) and so your list ends up being typeset as you
described. The "correct" way to deal with the problem is to include some
text before the list in the theorem. If you think about it, you'll realize
that this is actually good style, since a list by itself generally isn't
going to do a good job of conveying information, and a brief introductory
paragraph is the best way of dealing with this. (If you're ever bored,
try looking through every book you own and see if you can find a list that
begins a paragraph or a theorem-type environment that consists only of a
list. I doubt that any reputable publisher would allow that in a text.)
 
-dh
 
 
         -------------------------------------------------------
         Don Hosek           Internet: U33297@UICVM.UIC.EDU
         3916 Elmwood        Bitnet: U33297@UICVM
         Stickney, IL 60402          DHOSEK@YMIR
         Work: 312-996-0658  UUNet: dhosek@jarthur.claremont.edu
         -------------------------------------------------------
  
---------------------------------

Date:            7-APR-1989 16:29:25 GMT
From:           FPS@UK.AC.IMPERIAL.CC.VAXA
To:             INFO-TEX@UK.AC.ASTON.MAIL

Re Mac crash when overloaded (MN Ullah)

well, i'm afraid the problem is with the Mac, or rather, the 1 Mbyte
memory. what you are asking the Mac to do is run TeXtures concurrently.
i.e. consume lots and lots of memory. what you should be doing is either,
buying more memory, or, instead of clicking on the window, editing and
re-typesetting, do the following: click on the exit button, which drops you
into the editor, but `closes down' the typesetting part, make your
correction, then typeset again. even if you put the memory up dramatically,
by the time you had typeset/corrected three or four times by your present
approach, you would be back in the same situation. is this clear? 

malcolm clark

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

Received: from UKACRL by UK.AC.RL.IB (Mailer X1.25) with BSMTP id 5718; Sat, 08
          Apr 89 07:00:20 BS
Received: from UICVM by UKACRL.BITNET (Mailer X1.25) with BSMTP id 0181; Sat,
          08 Apr 89 07:00:20 B
Received: by UICVM (Mailer R2.02) id 0277; Fri, 07 Apr 89 23:21:09 CDT
Date:     Fri, 07 Apr 89 23:07:05 CDT
From:     Don Hosek <U33297@EDU.UIC.UICVM>
Subject:  \pounds in LaTeX
cc:       lamport@COM.DEC.DECWRL

Well, I checked the definition of \pounds and sure enough, it will
generate a $ sign in math mode. Let's look at it and see why:
 
\def\pounds{{\it \char'44}}
 
In math mode, \char does *not* produce the character specified by the
code indicated in the current font, primarily because TeX ignores
the current font. Instead, it looks for the mathcode for the character
in question and executes that, thus giving a Roman dollar sign as
one would expect had the \it not been there at all (see lplain.tex for
the mathcode definitions).
 
The simplest fix would be to replace this definition with
 
\def\pounds{\mbox{\it \char'44}}
 
But this won't permit a scriptsize pound sign in math mode. A better
fix might be to have \pounds defined as follows:
 
\def\pounds{\protect\ppounds}
\def\ppounds{\ifmmode\mathchar"4124\else{\it \char'44}\fi}
 
I haven't tested this last definition, so there might be some minor
glitches in it.
 
-dh
 
A copy of this note has been sent to Leslie Lamport so he can decide whether
it's worthwhile fixing this in a future release of LaTeX.
 
 
         -------------------------------------------------------
         Don Hosek           Internet: U33297@UICVM.UIC.EDU
         3916 Elmwood        Bitnet: U33297@UICVM
         Stickney, IL 60402          DHOSEK@YMIR
         Work: 312-996-2981  UUNet: dhosek@jarthur.claremont.edu
         -------------------------------------------------------
 
---------------------------------

Date:           10-APR-1989 10:05:24 GMT
From:           FPS@UK.AC.IMPERIAL.CC.VAXA

An interesting LaTeX feature:

If you create a temporary environment which includes a command like
\renewcommand{\rm}{\smallrm} rather predictably, this has side effects. The
killer is that the page numbering may adopt the \smallrm style, depending
on whether you were using the environment at the time of asynchronous page
build (which of course may be a long way from where you think it is). I
guess this is why TeX uses \tenrm in its output routine, rather than \rm. 

I assume this is a well known feature to all you LaTeX-hackers: how do you
get round it? (And please, not the LL solution ``you shouldn't be doing
that anyway, see page XXX of the manual''.) 

malcolm clark

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

Received: by vulcan. (4.0/SMI-4.0)
        id AA01148; Mon, 10 Apr 89 10:34:45 BST
Date: Mon, 10 Apr 89 10:34:45 BST
From: alien@uk.ac.essex.ese.vulcan (Adrian F. Clark)
Message-Id: <8904100934.AA01148@vulcan.>
Subject: Downloadable PostScript outlines
Sender: JANET"alien@uk.ac.essex.ese" (Adrian Clark) <alien@uk.ac.essex.ese>

I seem to remember someone telling me that it's possible to buy
PostScript outlines which can be downloaded into an elderly
LaserWriter which lacks particular fonts in RAM.  I think they said
the fonts could be bought from Letraset.  Was I imagining this?  Does
anyone have any details?  The printer has a Unix host with Transcript.

   Adrian F. Clark
   JANET:  alien@uk.ac.essex.ese
   ARPA:   alien%uk.ac.essex.ese@nss.cs.ucl.ac.uk
   BITNET: alien%uk.ac.essex.ese@ac.uk
   Smail:  Dept. of Electronic Systems Engineering, Essex University,
           Wivenhoe Park, Colchester, Essex C04 3SQ, U. K.
   Phone:  (+44) 206-872432 (direct)

"The great tragedy of Science--the slaying of a beautiful
hypothesis by an ugly fact."      -- T H Huxley (1825-95)

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

From: Peter King <pjbk@uk.ac.hw.cs>
Message-Id: <10792.8904101312@brahma.cs.hw.ac.uk>
Subject: emacs mode for LaTeX
Date: Mon, 10 Apr 89 14:11:59 BST
X-Mailer: Elm [version 2.1 PL1]

Does anyone have a copy of Nelson Beebe's GNU emacs macros to do LaTeX
syntax checking?  If so could they mail me a copy, (and a copy to the
archive?).  Thanks in advance.
--
Peter King, Computer Science Department JANET:  pjbk@uk.ac.hw.cs
  Heriot-Watt University                ARPA:   pjbk@cs.hw.ac.uk
  79 Grassmarket, Edinburgh EH1 2HJ     or      pjbk%cs.hw.ac.uk@ucl-cs
Phone: (+44) 31 225 6465 Ext. 555       UUCP:   ..!ukc!cs.hw.ac.uk!pjbk

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

Date:           10-APR-1989 18:51:19 GMT -01:00 (BST)
From:           CHAA006@UK.AC.RHBNC.VAXB
Subject:        Re: SB-TeX, *TeX.CH & SVI*.*
Sender:         JANET"CHAA006@UK.AC.RHBNC.VAXB" <CHAA006@UK.AC.RHBNC.VAXB>
Reply-to:       Philip Taylor (RHBNC) <P.Taylor@Uk.Ac.Rhbnc.Vaxb>
Originally-to:  $UK-TEX,JANET%"R.J.Hare@Edinburgh",JANET%"Keith@Liv.cs.Mva"
Mailer:         Janet_Mailshr V3.3a (02-Feb-1989)

Roger --- the latest version of SB-TeX in the archive is SB08TeX.Arc; it was
FTP'd using /CODE=FAST (VMS:VMS), and can therefore only be retrieved by another
VMS site, so far as I know.  If you can get it back to a VAX, you should then
Kermit it to your PC using "SET FILE TYPE BINARY". The Archive maintenance group
are investigating OS-independent ways of storing all such files. There exists a
much later version, SB15TeX, but it is not yet available for general release. 

Keith --- The *.CH files are copyright Kellerman & Smith, as is the SVI* code.
Sorry. 

                                        ** Phil.

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

Received: from caxton.ecs.soton.ac.uk by hilliard.ecs.soton.ac.uk; Tue, 11 Apr 89 11:21:26 BST
From: spqr@uk.ac.soton.ecs
Date: Tue, 11 Apr 89 11:24:03 BST
Message-Id: <12420.8904111024@caxton.ecs.soton.ac.uk>
Subject: starting in LaTeX

Jon Warbrick kindly sent his "Essentials of LaTeX" document (shortly
to appear in the Archive); you may be interested in a mail message
from one of our secretaries:

   From: Kiran Mistry <kkm>
   Subject: essentials of latex

   Essentials of Latex 
   Jon Warbrick

   Wicked!  Or as you would say FAB!  This is the first latex document
   that is "readable".  It's just the thing for someone wanting to learn
   latex from scratch.

Sebastian Rahtz

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

Message-Id: <13005.8904111630@itspna.ed.ac.uk>
Via: tardis.cs.ed.ac.uk; Tue, 11 Apr 89 16:30:40 GMT
Date: Tue Apr 11 15:26:42 GMT 1989
Subject: INIMF bug cured, missing VMS change-files, MF bug found...
From: pla@uk.ac.ed.cs.tardis


After a number of mistakes, I brought MF.WEB up to version 1.7 but still
INIMF crashed.  I tried compiling and linking with the symbolic debugger
option, only to find that the VMS linker does not accept the debug option
on object files that have compiler warnings - ready_already being the
guilty party.  I am not too fluent in Pascal, so it took a little while to
work out that the test for ready_already can be removed since it doesn't
apply to VMS (can't dump a running image).  With that out of the way, I
found out why INIMF crashes on my system, and why nobody out there helped
me with this problem - they don't have it!  The change file defines the
pool file as mf$bases:inimf.poo.  The VMS version of MF cunningly
interrogates the operating system for the full translation of mf$bases for
later use (by inimf - not mf), and gets (because my machine is clustered
and because I used rooted directory syntax in my definition)              
zaphod$dua0:[public.tex.][formats]mf.poo;1 which is two characters too long
for the file_name_size of 40!!! 

Moving the whole lot to a directory with a shorter name fixes it, as does
defining mf$bases with a TRANSLATION_ATTRIBUTE of CONCEALED. However, it
seems likely that the problem with MF and elvish that I mentioned in
UKTEX89.08 is down to the same cause; when I ran it interactively it was on 
the same node as the disk with the elvish sources so the file name would be 
DUA0:[public...]tincoma; when I submitted it as a batch job, it was to 
another node, and the file would have been zaphod$dua0:[public...]tincoma - 
again over 40 characters.

The fix is simple since file_name_size appears in inimf.ch and mf.ch (it 
isn't altered though) - change it to from 40 to 250.  Although the file
names are currently padded with spaces to 40 chars, VMS Pascal will extend
them to 250 characters automatically, otherwise this change would involve
digging out everywhere a file name is used. 


Since I wanted to create .PK files, I tried to get GFTOPK working, but 
could find no change file in the tapes I have.  I obtained a current copy 
of the archive directory and discovered that not only is VMS GFTOPK.CH not 
there, but that the PD VMS change files seem to have been thrown out when 
the K & S stuff was removed (though there seems to be the odd K & S .CLD
file and VIRxxx.EXE left).  In the end I settled for GFTOPXL followed by
PXTOPK. 

I then incorporated the write-white mods which I had dug out of an old 
TeXHaX (not TeXMaG as I stated previously) and the mode_defs for a Ricoh 
4080 which I believe is the engine in an LN03, made appropriate local 
changes to the Sauter command procedures (includes removing reference to 
sauter.mf because the write-white mods include the augmented font-header)
and set things in motion.  The font build is 98% complete, but I have had 
some crashes: GFTOPXL cannot cope with CMINCH at \magstep3, CMITT10, 
CMTCSC10 and CMTT10 (but not 8 or 9 or 12) all crash with bad pos at
\magstep2, the message being:

! bad pos.
<to be read again>
                   ;
pos->...urrentbreadth:errmessage"bad pos";
                                          fi.fi(x(SUFFIX2)r-x(SUFFIX2...
1.97 ...up crisp.nib; pos1(shaved_stem,90)
                                          ; pos2(hair,0);
?

Is this a known problem with, I hope, a known fix (which I hope someone 
will tell me about) or have I done something wrong somewhere?


Graham Rule at Edinburgh University (UNIX user) contacted me and said he would
try and find the person who looks after the VMS side of things to save me
having to incorporate the changes to MF.WEB and TEX.WEB by hand (I'd just
finished the MF ones), but discovered that whoever it was had left six months
ago. Peter Ileive of  Memex (also UNIX user) said he could write tapes VMS
understands and so I received updated WEBs, but of course no change files.


Preliminary tests of the write-white fonts and UKLN03 (I was using Rose's
DVI2LN3 V10) seem to give encouraging results, though there seems to be 
some loss of subtlety to the cursive strokes.  


To return to rnototex, the initialisation file has LIT as a synonym for 
LITERAL, whereas it should be LT.


Next week, I'll have a go at updating TeX...

+-------------------------------+ 
| Paul L. Allen                 | Disclaimer: The opinions presented here 
| Ferranti Defence Systems Ltd  | are my own and are not necessarily 
| T.E.G. Lab,                   | those of Ferranti International Signal 
| Robertson Ave                 | 
| Edinburgh  EH11 1PX           | Just because you're paranoid it doesn't
| Tel. 031 337 2442   Ext. 3246 | mean they're NOT out to get you.
+-------------------------------+

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

From: F R Drake <fdrake@uk.ac.leeds.ai>
Date: Tue, 11 Apr 89 15:00:21 GMT
Message-Id: <20317.8904111500@ai.leeds.ac.uk>
Subject: Textures on 1MB Mac

M.N. Ullah asks about Textures running out of memory.  This will
happen when trying to typeset unless you have something very close
to a virgin system; Textures seems to need about 870K of free memory
if it is not to run out.

You can check the memory available using "About the Finder" on the
Apple menu. A typical figure will be under 800K if you have goodies
like Macromaker, TOPS, ShieldINIT,... in your system folder.

But there is a very nice way to keep such goodies, and still use 
Textures (without which we could not live in Leeds) : you use a
program called "Blesser", which allows you to have more than one 
system folder on a hard disc, and to determine which one will be 
used on next startup (which will be "blessed", hence the name).

So you have one system with no extras at all (for Textures) and another
with all your networking, virus detectives, etc., for general use.

(Of course another way out is to expand to 2MB memory...)

Blesser is freeware, and Larry Siebenmann includes it with recent
distributions of Sweet-teX; I think it is in the Mac archives, but
it may be worth having in the Aston archive.  

Frank Drake, Dept. Pure Maths, U of Leeds


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

Received: from vax01.ams.com by NSS.Cs.Ucl.AC.UK   via Satnet with SMTP
           id aa01927; 11 Apr 89 4:08 BST
Date: Sun 9 Apr 89 14:56:06-EST
From: bbeeton <BNB@com.ams.vax01>
Subject: WEB 3.0; TeX change, same version; CM85.BUG
Message-ID: <608154966.0.BNB@VAX01.AMS.COM>
Mail-System-Version: <VAX-MM(229)+TOPSLIB(132)+PONY(228)@VAX01.AMS.COM>

Date:     10 Apr 89                             Message No:     015

To:       TeX implementors and distributors

From:     Barbara Beeton

Subject:  WEB 3.0; TeX change, same version; CM85.BUG

+++Editor - The file is [public.texstatus]message_015.10_apr_1989 +++

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

Date:           12-APR-1989 09:36:21 GMT
From:           EEDB4431@UK.AC.QUEENS-BELFAST.CENTRE.VAX1

From:- Thomas O'Malley    User Support    Queens University of Belfast
Mail Adress:-  AEFE1242@UK.AC.QUB.V1       

Is there a DVI driver for an Epson OR Apple Laserwriter at ASTON in [Public]?
They would be used on a VAX/VMS system. 
If you have is it possible to get copies and what would it cost or do I have
to get them from the U.S.A. 


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

Date:         Wed, 12 Apr 89 12:48:01
From:         Mike Piff,Pure Maths,Ext.4431  <PM1MJP @ SHEFFIELD.PRIMEA>

% Sorry, I didn't give you the whole story! I am a very busy man at
% present trying to write a book, and am also learning TeX at the same time.
% The following reproduces the `bug' I mentioned. It seems to be the change of
% font in the newtheorem which causes the trouble. Hope this doesn't get
% messed up too much by Email!

\documentstyle{book}

\makeatletter
\def\Emph#1{\def\Sp@ce{\ifx\@Next.\else\ifx\@Next,\else\/\fi\fi}%
   \em #1\em\futurelet\@Next\Sp@ce}
\def\Pascal{\Emph{Pascal}}
\makeatother
\newtheorem{Exampleno}{Example}[chapter]
\newenvironment{Example}{\begin{Exampleno}\small}{\end{Exampleno}}

\begin{document}

\chapter{Chap1}

\noindent $\bullet$ Here is where the left margin starts.

\begin{Example}
%   This is a list of the things that go wrong:
   \begin{itemize}
      \item Notice the mess in this item;
      \item See where the bullets are?
      \item I don't see that any reputable publisher would allow this,
         do you?
   \end{itemize}
\end{Example}
$\bullet$ This is so you can use a ruler to see where the bullets are!
% and with enumerate -- the original cause of my troubles!
\begin{Example}
   Statements in \Pascal\ are partitioned into the following eleven classes:
   \begin{enumerate}
      \item Assignments
      \item Procedure calls
      \item \verb+Begin...end+ blocks
      \item \verb+If+ statements
      \item \verb+Case+ statements
      \item \verb+While+ statements
      \item \verb+Repeat+ statements
      \item \verb+For+ statements
      \item \verb+With+ statements
      \item \verb+Goto+ statements
      \item Null statements
   \end{enumerate}
\end{Example}
\end{document}

---------------------------------
!!
!!   Files of interest 
!!      [public]000aston.readme               [public]000directory.list
!!      [public]000directory_dates.list       [public]000directory.size
!!      [public]000last30days.files
!!
!! Editor - I have a tape labelled TeX 2.95 LaTeX 2.09 Metafont 1.7
!! Unix 4.2/3BSD & System V. Tar 1600 bpi blocked 20 1 file dated 
!! 30 January 1989 (from washington.edu). 
!!
!!  FTP access site               uk.ac.aston.tex
!!             username           public
!!             password           public
!!
!! I have the facility to copy this tape for anyone who sends the following
!! 1 2400 tape with return labels AND RETURN postage. (2.50 pounds sterling 
!! for UK users, payable to `Aston University') Outside UK please ask me.
!! UK users send 4.25 for two tapes or 6.60 for three tapes. 
!! Send to
!!
!! P Abbott
!! Computing Service
!! Aston University
!! Aston Triangle
!! Birmingham B4 7ET
!!
!! A VMS backup of the archive requires 2 (two ) 2400' tapes at 6250bpi.
!! Remaining details as above.
!! Other tape options in the pipeline.
!!
!!  Replies/submissions to            info-tex@uk.ac.aston   please
!!  distribution changes to   info-tex-request@uk.ac.aston   please 
!! 
!!   end of issue