  These notes are a companion to the article "Lorentz spacetimes of constant
curvature" by Geoffrey Mess, which was first written in 1990 but never
published. Mess' paper will appear together with these notes in a forthcoming
issue of Geometriae Dedicata.
