[tex-live] possible withdrawal of TeX Live

[Fabrice Popineau]

* Sebastian Rahtz <sebastian.rahtz@computing-services.oxford.ac.uk> writes:

> 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?

Can we use the same trick as MLTeX did ? 

Quoted from tex.ch :

ML\TeX{} will add new primitives changing the behaviour of \TeX.  The
|banner| string has to be changed.  We do not change the |banner|
string, but will output an additional line to make clear that this is
a modified \TeX{} version.

...

@x [29.534] l.10293 - MLTeX: add MLTeX banner after loading fmt file
@<Print the banner line, including the date and time@>;
@y
@<Print the banner line, including the date and time@>;
if mltex_enabled_p then
  begin wlog_cr; wlog('MLTeX v2.2 enabled');
  end;
@z

Fabrice