Implement history dumping.