  This is a survey of the three main methods developed in the last 15 years to
prove the existence of integral canonical models of Shimura varieties of Hodge
type. The only new part is formed by corrections to results of Kisin.
