John Cocke has died. Some of you may know already as this is an old news piece, but I only just got back from holiday so have only just got round to sending it. http://www.guardian.co.uk/obituaries/story/0,3604,764045,00.html Will. -- Gllug mailing list - Gllug at linux.co.uk http://list.ftech.net/mailman/listinfo/gllug