Classes
		History   class History       Methods defined here: __init__(self, text, output_sep='\n') history_do(self, reverse) history_next(self, event) history_prev(self, event) history_store(self, source) recall(self, s)