[tex-live] src specials fixes

Sebastian Rahtz sebastian.rahtz@computing-services.oxford.ac.uk
Fri, 31 May 2002 16:33:23 +0100


On Fri, May 31, 2002 at 05:23:13PM +0200, Fabrice Popineau wrote:
> +@d banner_src=='This is src-special-TeX, Version 3.14159' {printed when \TeX\ starts}

to be even more honest, change to 

+@d banner_src=='This is src-special-TeX, derived from TeX version 3.14159' {printed when \TeX\ starts}

-- 
Sebastian Rahtz      OUCS Information Manager
13 Banbury Road, Oxford OX2 6NN. Phone +44 1865 283431