On Tue, 16 Jul 2002, Andreas Tobler wrote: > Michael Matz wrote: > > Yes. Many thanks for fixing my breakage. > Who does the checkin ? Done, to unbreak mmix-knuth-mmixware. ;-] brgds, H-P