On 22 Mar 2010, sean outgrape: > Robin Milner died on Saturday. Not linux related i know, but he was a > great computer scientist who contributed much to the area. Oh, that's a shame :( -- Gllug mailing list - Gllug at gllug.org.uk http://lists.gllug.org.uk/mailman/listinfo/gllug