Commit [523324] Maximize Restore History

Merge branch 'branch-5_31' of ssh://git.code.sf.net/p/maxima/code into branch-5_31

Robert Dodier Robert Dodier 2013-10-14