History%20List%20Management">History List Management</a>
<li><code>add_history_time</code>: <a href="#History%20List%20Management">History List Management</a>
<li><code>append_history</code>: <a href="#Managing%20the%20History%20File">Managing the History File</a>
<li><code>clear_history</code>: <a href="#History%20List%20Management">History List Management</a>
<li><code>current_history</code>: <a href="#Information%20About%20the%20History%20List">Information About the History List</a>
<li><code>free_histor