The University of Edinburgh has updated its advice to say that "Face coverings are not required [...] when seated within tutorial or lecture theatres".