Email Record: A Compendium of continuous lattices /