On Fri, May 31, 2002 at 03:44:37PM +0200, Thomas Esser wrote: > Someone has to write the code that chages the banner if source specials > are active, however. And we need a name... src-special-TeX? -- Sebastian Rahtz OUCS Information Manager 13 Banbury Road, Oxford OX2 6NN. Phone +44 1865 283431