\entry{history expansion}{1}{history expansion}
\entry{event designators}{1}{event designators}
\entry{history events}{1}{history events}
\entry{History Searching}{7}{History Searching}
\entry{anchored search}{7}{anchored search}
