[tex-live] src specials fixes

[Sebastian Rahtz]

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