On Sun, Nov 29, 2009 at 5:39 PM, Robin Fairbairns <Robin.Fairbairns at cl.cam.ac.uk> wrote: who > knows what happened to 6.79(i|j)? Don't ask what happened with 6.79l -> it was replaced by 6.79m before it came to TL :-) -- Victor