History manual/pattern.texi