The main building was the first large building to be constructed outside the Edinburgh city walls.
Το κύριο κτίριο ήταν το πρώτο μεγάλο κτίσμα που κατασκευάστηκε έξω από τα τείχη της πόλης του Εδιμβούργου.