Gravitational Lensing in Edinburgh